rameloni / tywaves-chisel
A repository that implements Tywaves: enabling a type-based waveform debugging for Chisel and Tydi-Chisel. Mapping from Chisel level code to values dumped by simulators is now possible thanks to Tywaves!
☆22Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for tywaves-chisel
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆79Updated 7 months ago
- ☆36Updated 9 months ago
- high-performance RTL simulator☆139Updated 4 months ago
- ☆23Updated 3 years ago
- ☆16Updated 4 months ago
- Hardware generator debugger☆71Updated 9 months ago
- Equivalence checking with Yosys☆30Updated this week
- A dynamic verification library for Chisel.☆140Updated this week
- A GPU acceleration flow for RTL simulation with batch stimulus☆92Updated 7 months ago
- ☆31Updated last month
- (System)Verilog to Chisel translator☆105Updated 2 years ago
- Library to compile Chisel circuits using LLVM/MLIR (CIRCT)☆70Updated last year
- slang-based frontend for Yosys☆41Updated last week
- Determines the modules declared and instantiated in a SystemVerilog file☆42Updated last month
- For contributions of Chisel IP to the chisel community.☆55Updated this week
- Intel Compiler for SystemC☆23Updated last year
- Chisel RISC-V Vector 1.0 Implementation☆50Updated this week
- A SystemVerilog source file pickler.☆51Updated 3 weeks ago
- A Style Guide for the Chisel Hardware Construction Language☆106Updated 3 years ago
- Transactional Verilog design and Verilator Testbench for a RISC-V TensorCore Vector co-processor for reproducible linear algebra☆47Updated 2 years ago
- ☆11Updated 3 years ago
- Proposed RISC-V Composable Custom Extensions Specification☆67Updated 6 months ago
- ☆73Updated last year
- ☆51Updated 2 years ago
- A configurable SRAM generator☆40Updated this week
- Advanced Architecture Labs with CVA6☆48Updated 9 months ago
- RISC-V Formal Verification Framework☆108Updated 3 weeks ago
- chipyard in mill :P☆75Updated 11 months ago
- A Rocket-based RISC-V superscalar in-order core☆27Updated 2 weeks ago
- Examples for creating AXI-interfaced peripherals in Chisel☆71Updated 8 years ago