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