sequencer / zaoziLinks
A eDSL framework based on Scala and MLIR, focusing on the Hardware design.
☆64Updated this week
Alternatives and similar repositories for zaozi
Users that are interested in zaozi are comparing it to the libraries listed below
Sorting:
- A collection of tests and benchmarks for the Arc simulation backend of CIRCT☆33Updated 4 months ago
- ☆41Updated last month
- A repository that implements Tywaves: enabling a type-based waveform debugging for Chisel and Tydi-Chisel. Mapping from Chisel level code…☆55Updated last year
- Nix template for the chisel-based industrial designing flows.☆51Updated 8 months ago
- ☆22Updated last month
- chipyard in mill :P☆77Updated 2 years ago
- An RTL generator for a last-level shared inclusive TileLink cache controller☆22Updated 11 months ago
- Open-source non-blocking L2 cache☆51Updated this week
- The Scala parser to parse riscv/riscv-opcodes generate☆21Updated 4 months ago
- DFiant HDL (DFHDL): A Dataflow Hardware Descripition Language☆92Updated this week
- Basic chisel difftest environment for RTL design (WIP☆20Updated 10 months ago
- Equivalence checking with Yosys☆53Updated last month
- A Rocket-based RISC-V superscalar in-order core☆36Updated 3 months ago
- A prototype GUI for chisel-development☆51Updated 5 years ago
- Formal verification tools for Chisel and RISC-V☆13Updated last year
- Chisel/Firrtl execution engine☆154Updated last year
- (System)Verilog to Chisel translator☆117Updated 3 years ago
- Open-source high-performance non-blocking cache☆92Updated last month
- Open source high performance IEEE-754 floating unit☆87Updated last year
- high-performance RTL simulator☆184Updated last year
- RISC-V Formal Verification Framework☆173Updated 2 weeks ago
- ☆15Updated this week
- Modern GTKWave alternative☆29Updated this week
- ☆52Updated 11 months ago
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆114Updated last month
- ☆33Updated 9 months ago
- ☆18Updated this week
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆16Updated 7 months ago
- ☆17Updated 3 years ago
- The specification for the FIRRTL language☆62Updated last month