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!
☆40Updated 5 months ago
Alternatives and similar repositories for tywaves-chisel:
Users that are interested in tywaves-chisel are comparing it to the libraries listed below
- ☆19Updated last month
- ☆17Updated last month
- A Rocket-based RISC-V superscalar in-order core☆31Updated last week
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆71Updated this week
- Advanced Architecture Labs with CVA6☆57Updated last year
- AXI Adapter(s) for RISC-V Atomic Operations☆62Updated 7 months ago
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆92Updated this week
- An energy-efficient RISC-V floating-point compute cluster.☆74Updated this week
- A dynamic verification library for Chisel.☆148Updated 5 months ago
- ☆92Updated last year
- An RTL generator for a last-level shared inclusive TileLink cache controller☆19Updated 3 months ago
- a hardware design library based on SpinalHDL, especially for stream processing operators on Xilinx FPGAs for Arithmetic, DSP, Communicati…☆61Updated last year
- For contributions of Chisel IP to the chisel community.☆61Updated 5 months ago
- Spatz is a compact RISC-V-based vector processor meant for high-performance, small computing clusters.☆104Updated this week
- Transactional Verilog design and Verilator Testbench for a RISC-V TensorCore Vector co-processor for reproducible linear algebra☆51Updated 3 years ago
- The specification for the FIRRTL language☆53Updated this week
- ☆23Updated 4 years ago
- ☆38Updated last year
- Proposed RISC-V Composable Custom Extensions Specification☆69Updated 11 months ago
- Chisel RISC-V Vector 1.0 Implementation☆92Updated last week
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆81Updated last year
- Open-source non-blocking L2 cache☆40Updated this week
- high-performance RTL simulator☆156Updated 10 months ago
- A Chisel RTL generator for network-on-chip interconnects☆193Updated last month
- PDPU: An Open-Source Posit Dot-Product Unit for Deep Learning Applications☆39Updated last year
- The multi-core cluster of a PULP system.☆89Updated 2 weeks ago
- A Style Guide for the Chisel Hardware Construction Language☆107Updated 3 years ago
- Examples for creating AXI-interfaced peripherals in Chisel☆74Updated 9 years ago
- Platform Level Interrupt Controller☆40Updated 11 months ago
- Tightly-coupled cache coherence unit for CVA6 using the ACE protocol☆30Updated 11 months ago