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!
☆23Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for tywaves-chisel
- ☆16Updated 4 months ago
- ☆23Updated 3 years ago
- ☆36Updated 9 months ago
- Hardware generator debugger☆71Updated 9 months ago
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆79Updated 7 months ago
- Proposed RISC-V Composable Custom Extensions Specification☆67Updated 6 months ago
- high-performance RTL simulator☆140Updated 5 months ago
- A dynamic verification library for Chisel.☆142Updated last week
- Library to compile Chisel circuits using LLVM/MLIR (CIRCT)☆70Updated last year
- Chisel RISC-V Vector 1.0 Implementation☆54Updated this week
- For contributions of Chisel IP to the chisel community.☆55Updated 2 weeks ago
- Equivalence checking with Yosys☆31Updated 2 weeks ago
- slang-based frontend for Yosys☆43Updated this week
- (System)Verilog to Chisel translator☆106Updated 2 years ago
- Advanced Architecture Labs with CVA6☆49Updated 10 months ago
- Chisel Cheatsheet☆31Updated last year
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆73Updated 7 months ago
- Transactional Verilog design and Verilator Testbench for a RISC-V TensorCore Vector co-processor for reproducible linear algebra☆47Updated 2 years ago
- A Rocket-based RISC-V superscalar in-order core☆28Updated 3 weeks ago
- ☆31Updated last month
- BFM Tester for Chisel HDL☆14Updated 2 years ago
- ☆11Updated 3 years ago
- ☆75Updated last year
- A Style Guide for the Chisel Hardware Construction Language☆106Updated 3 years ago
- A hardware synthesis framework with multi-level paradigm☆37Updated last year
- Examples for creating AXI-interfaced peripherals in Chisel☆71Updated 9 years ago
- The specification for the FIRRTL language☆46Updated this week
- Like VexRiscv, but, Harder, Better, Faster, Stronger☆108Updated this week
- ☆20Updated 4 years ago
- chipyard in mill :P☆75Updated last year