atopile/atopile

Features

• Electronic Design Automation - A suite for defining circuit topologies and generating manufacturing data via a code-first workflow.
• Declarative Hardware Modeling - Enables the definition of electronic circuits and components as code using a hierarchical structure with support for subclassing and inheritance.
• Electrical Constraint Solvers - A utility that automatically calculates required component values by solving systems of constraints based on defined relationships.
• PCB Design Tooling - A compiler that transforms declarative code and dependencies into a PCB model by solving design equations.
• Hardware Description Languages - A declarative language for modeling electronic circuits and components as code.
• KiCad Integrations - Generating project files from code and synchronizing declarative designs with external PCB layout software.
• Electronic Component Importing - A system to fetch part details, including pinouts and footprints, using manufacturer part numbers or supplier IDs.
• Model-as-a-Table Integrations - A way to define a P-channel enhancement-mode MOSFET to act as a switch or amplifier.
• Hardware Module Registries - Allows installing pre-defined hardware component definitions from a remote registry to reuse common modules.
• Package Dependency Management - A system to add and synchronize third-party packages from repositories to maintain a consistent development environment.
• Discrete Component Selection - A system for identifying and picking specific discrete components based on defined design requirements and constraints.
• Automated Component Selection - A system for matching generic requirements for passive and standard parts to specific hardware components based on defined values and packages.
• Programmatic Modeling - A feature enabling the definition of electronics designs using procedural logic and scriptable capabilities for complex circuit modeling.
• Reusable Modules - A way to create parameterized circuit blocks with defined interfaces and logic that can be instantiated multiple times.
• Component Constraint Validations - A system that checks mathematical assertions across physical attributes to verify circuit behavior.
• Design Constraint Validations - A process that executes embedded calculations and requirement checks on every build to ensure specifications are met.
• Digital Signal Modeling - Represents digital signals with binary high and low states to model connectivity and signal integrity.
• Electrical Connection Mapping - Provides a mechanism to link electrical signals between components and interfaces to establish the physical wiring of a circuit board.
• Constraint Definitions - Provides a system to define required voltage levels and current maximums to ensure circuit stability.
• Parameter Constraints - Implements a system of assertions to enforce electrical relationships and voltage ranges during component selection.
• Electrical Design Validation - Executes embedded assertions and tolerance checks on every build to verify that electrical specifications are met.
• Hardware Design Automation - A system that automates component selection and validates electrical constraints through a build process.
• Electrical Interface Definitions - Allows the definition of connection points for electronic signals that link components or external pins to form electrical nets.
• Hardware Attribute Specifications - A system for assigning values to hardware components using integrated units and tolerances to ensure physical specifications are met.
• Hardware Component Attribute Definitions - A way to assign values, physical packages, and properties to modules and interfaces to drive compiler behavior.
• Hardware Component Class Definitions - A way to specify new hardware components by mapping electrical interfaces to physical footprint pads.
• Hardware Component Registries - Distributes and synchronizes reusable hardware components and design blocks through a centralized package management system.
• Interface Connectivity Linking - Implements a mechanism to link compatible hardware interfaces together using a connection operator to establish electrical paths.
• Modular Circuit Reuse - Enables the integration of external, pre-tested circuit modules into projects to accelerate hardware development.
• Power Rail Modeling - A system for representing electrical power paths by specifying potential points to manage voltage distribution.
• Reusable Hardware Modules - A capability to add pre-validated design and layout modules to a project to quickly implement complex components and functionality.
• Transistor Modeling - A feature to define a metal-oxide-semiconductor field-effect transistor to control electricity between a power supply and load.
• Voltage Regulators - A way to define voltage regulators and connect unregulated input sources to regulated output power rails.
• PCB - Transforms high-level code into a normalized circuit model that can be exported to external layout software.
• Project File Generators - A utility that produces KiCad project files from declarative code and opens them automatically for layout work.
• Automated Part Selection - Matches generic module requirements to specific manufacturer part numbers and footprints using a database of hardware attributes.
• Electronic Part Databases - A database search utility to locate specific electronic components by name, description, or part number for direct addition to the design.
• Voltage Constraints - Ships an automated assertion process to ensure system power levels remain within battery operating limits.
• Build Configurations - A feature to configure multiple output variations for a project, such as default boards or test jigs.
• Electrical Parameter Specifications - A system to set electrical specifications like trip current and response types to ensure technical requirements are met.
• Hardware Design CI Pipelines - Provides a continuous integration workflow that verifies design integrity and ensures the project state is buildable.
• Capacitor Specifications - Provides specifications for the placement and polar connections of electrolytic capacitors for bulk filtering.
• Capacitor Banks - A way to group multiple capacitors into a single logical component to achieve a specific total capacitance.
• Circuit Connectivity Mapping - Models electronic designs as a network of nodes and edges to resolve signal paths and electrical nets.
• Circuit Topology Definitions - Implements a declarative system to define modules and physical components through inheritance and subclassing.
• Connection Requirement Enforcement - Ensures design completeness by marking module interfaces as required, which the compiler verifies are connected to external signals.
• RS485 Communication - A specification for a half-duplex RS485 communication interface, including the necessary signal pins.
• Manufacturing Outputs - Producing bills of materials and fabrication files required to order and assemble physical circuit boards.
• Hardware Design Verifiers - Uses automated assertions and constraints to verify electrical specifications and design integrity before manufacturing.
• Differential Pair Specifications - Provides tools for specifying high-speed differential signal pairs with matched impedance and shared power references.
• Digital Circuit Construction - Represents electronic design relationships and circuit components using a structure of nodes and edges.
• Electronic Power Switches - A method for creating a circuit component that uses transistors to control the flow of electricity to a load.
• Hardware Component Abstractions - Implements a method for inheriting generic attributes from base component types to ensure consistency across hardware parts.
• Hardware Design Registries - A capability to upload circuit design libraries to a public registry to make them available for reuse.
• UART Interfaces - A system to create serial communication ports with configurable logic level references and optional flow control.
• Interface Connection Enforcement - Allows marking specific module interfaces as mandatory to ensure components link to external signals before the design is finalized.
• Interface Connectivity Requirements - Allows developers to specify whether a module interface must be connected to an external signal to ensure design completeness.
• Interface Property Configurations - Provides a system to set physical attributes such as frequency, addresses, and net name overrides for communication interfaces.
• Logic Level Reference Specifications - Implements a system to assign power references to signal pins to define voltage levels for logic transitions.
• Logic-to-Power Signal Conversion - A mechanism to transform logic signals into power signals to control the flow of electricity through a switch.
• Manufacturing Data Generation - A utility that produces the files and reports required to order physical circuit boards from manufacturers.
• Manufacturing Output Generation - A utility that produces bills of materials and fabrication data required for PCB assembly and production.
• Layout Visualization - A utility to launch a PCB editor to visualize and refine the physical layout of a compiled design.
• PCB Layout Synchronizations - A feature to import pre-defined physical layouts from external modules and apply them to local circuit components.
• Physical Package Assignments - A way to specify the physical package for a module to determine the correct footprint and component selection.
• RC Filter Designs - Provides a utility to define electrical RC filter components using specific cutoff frequencies or resistor and capacitor values.
• Quantum Circuit Visualization - Models electronics using a declarative hierarchy of modules and components with support for subclassing and inheritance.

Star history