sequencer / zaoziLinks
A eDSL framework based on Scala and MLIR, focusing on the Hardware design.
☆65Updated last 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☆35Updated 2 weeks ago
- A repository that implements Tywaves: enabling a type-based waveform debugging for Chisel and Tydi-Chisel. Mapping from Chisel level code…☆56Updated last year
- Nix template for the chisel-based industrial designing flows.☆52Updated 9 months ago
- chipyard in mill :P☆77Updated 2 years ago
- ☆23Updated 2 months ago
- DFiant HDL (DFHDL): A Dataflow Hardware Descripition Language☆92Updated last week
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆119Updated 3 months ago
- ☆41Updated 2 months ago
- high-performance RTL simulator☆186Updated last year
- Open-source non-blocking L2 cache☆52Updated last week
- The Scala parser to parse riscv/riscv-opcodes generate☆22Updated 2 weeks ago
- Chisel/Firrtl execution engine☆155Updated last year
- Basic chisel difftest environment for RTL design (WIP☆20Updated 11 months ago
- A prototype GUI for chisel-development☆51Updated 5 years ago
- Open source high performance IEEE-754 floating unit☆89Updated last year
- ☆52Updated last year
- ☆15Updated this week
- ☆65Updated last month
- RISC-V Formal Verification Framework☆178Updated 3 weeks ago
- Equivalence checking with Yosys☆57Updated this week
- A Rocket-based RISC-V superscalar in-order core☆38Updated 4 months ago
- An RTL generator for a last-level shared inclusive TileLink cache controller☆24Updated last year
- (System)Verilog to Chisel translator☆116Updated 3 years ago
- A dynamic verification library for Chisel.☆160Updated last year
- This repo includes XiangShan's function units☆29Updated this week
- ☆33Updated 10 months ago
- Wrappers for open source FPU hardware implementations.☆37Updated 2 months ago
- ☆18Updated last month
- Open-source high-performance non-blocking cache☆92Updated 2 months ago
- The batteries-included testing and formal verification library for Chisel-based RTL designs.☆233Updated last year