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!
☆41Updated 6 months ago
Alternatives and similar repositories for tywaves-chisel
Users that are interested in tywaves-chisel are comparing it to the libraries listed below
Sorting:
- ☆20Updated 2 months ago
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆72Updated 3 weeks ago
- Advanced Architecture Labs with CVA6☆59Updated last year
- For contributions of Chisel IP to the chisel community.☆61Updated 6 months ago
- ☆17Updated last month
- Hardware generator debugger☆73Updated last year
- ☆33Updated last month
- ☆39Updated last year
- A dynamic verification library for Chisel.☆150Updated 6 months ago
- A Rocket-based RISC-V superscalar in-order core☆33Updated last week
- An energy-efficient RISC-V floating-point compute cluster.☆80Updated this week
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆83Updated last year
- Unit tests generator for RVV 1.0☆84Updated last month
- fakeram generator for use by researchers who do not have access to commercial ram generators☆37Updated 2 years ago
- SystemVerilog Functional Coverage for RISC-V ISA☆28Updated 7 months ago
- The specification for the FIRRTL language☆54Updated last week
- Chisel RISC-V Vector 1.0 Implementation☆96Updated this week
- PDPU: An Open-Source Posit Dot-Product Unit for Deep Learning Applications☆40Updated 2 years ago
- A Style Guide for the Chisel Hardware Construction Language