chipsalliance/chisel
Chisel
Chisel is a hardware construction language and description tool used to define digital circuits. It functions as a generator that converts high-level hardware descriptions into synthesizable Verilog code for use in ASIC and FPGA design.
The project enables the creation of parameterizable hardware templates and reusable digital components. It leverages functional and object-oriented programming patterns to transform complex circuit representations into finalized hardware descriptions.
The toolset covers the register-transfer level design workflow, allowing users to model digital circuits using typed primitives for signals, registers, and wires. It also includes a verification environment for simulating circuit behavior by driving inputs and stepping the clock to validate hardware logic.
Features
- Digital Circuit Construction - Enables building hardware graphs by writing high-level programs that define circuit connections and logic.
- Hardware Construction Languages - Provides a domain-specific language for defining digital circuits that generates synthesizable Verilog code.
- Automated Hardware Generation - Uses functional and object-oriented programming patterns to transform complex circuit representations into finalized hardware descriptions.
- Digital Logic Design Tools - Provides a system for building parameterizable hardware templates and reusable digital components via functional programming.
- FPGA Hardware Design - Generates synthesizable Verilog code suitable for deployment on FPGAs and ASIC designs.
- Verilog Generators - Converts high-level hardware descriptions into standard synthesizable Verilog for ASIC and FPGA design.
- Hardware Logic Descriptions - Defines digital circuits using typed data structures and primitives to produce synthesizable hardware code.
- RTL Design - Allows defining digital logic at the register-transfer level using a dedicated set of construction primitives.
- RTL Design Tools - Implements a workflow for describing digital logic at the register-transfer level using typed primitives.
- Hardware Construction Languages - Describes digital circuits using a domain-specific language that combines functional and object-oriented patterns.
- Hardware Description Languages - Functions as a high-level hardware description language to produce synthesizable Verilog for chips and FPGAs.
- Quantum Circuit Design - Creates digital electronics and circuit graphs using a high-level programming language.
- Parameterizable Hardware Generators - Supports the creation of reusable hardware templates using parameters to generate various circuit versions.
- Circuit Simulators - Verifies hardware logic by driving inputs and stepping the clock through a testable interface.
- Hardware Design and Modeling - Provides tools for modeling signals and registers using typed primitives to define hardware behavior.
- Hardware Design Verifiers - Provides simulation libraries to analyze digital circuit specifications and detect design flaws.
- Digital Logic Verification - Verifies digital circuit behavior using a testing harness with signal manipulation and clock stepping.
- Digital Signal Modeling - Represents registers and wires using typed signals and aggregates to organize digital data.
- Hardware-Specific Graph Transformations - Applies automated transformations and technology-specific specializations to a design before final code generation.
- Reusable Component Architectures - Creates parameterizable hardware blocks using standard libraries and modular design patterns.
