chipsalliance / espressoLinks
☆40Updated 2 months ago
Alternatives and similar repositories for espresso
Users that are interested in espresso are comparing it to the libraries listed below
Sorting:
- A repository that implements Tywaves: enabling a type-based waveform debugging for Chisel and Tydi-Chisel. Mapping from Chisel level code…☆48Updated 10 months ago
- chipyard in mill :P☆78Updated last year
- (System)Verilog to Chisel translator☆116Updated 3 years ago
- A dynamic verification library for Chisel.☆155Updated 9 months ago
- high-performance RTL simulator☆174Updated last year
- A prototype GUI for chisel-development☆52Updated 5 years ago
- A Style Guide for the Chisel Hardware Construction Language☆108Updated 4 years ago
- Open source high performance IEEE-754 floating unit☆83Updated last year
- Equivalence checking with Yosys☆45Updated 3 weeks ago
- Chisel RISC-V Vector 1.0 Implementation☆108Updated 3 months ago
- ☆34Updated 8 months ago
- For contributions of Chisel IP to the chisel community.☆65Updated 9 months ago
- RISC-V Formal Verification Framework☆146Updated last week
- Chisel Learning Journey☆109Updated 2 years ago
- Chisel Cheatsheet☆33Updated 2 years ago
- ☆33Updated 5 months ago
- ☆97Updated last year
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆105Updated 3 months ago
- Verification environment for the OpenHW Group's CORE-V High Performance Data Cache controller.☆16Updated 6 months ago
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆89Updated last week
- Provides dot visualizations of chisel/firrtl circuits☆121Updated 2 years ago
- Examples for creating AXI-interfaced peripherals in Chisel☆76Updated 9 years ago
- ☆81Updated last year
- Advanced Architecture Labs with CVA6☆66Updated last year
- Open-source non-blocking L2 cache☆48Updated this week
- ☆17Updated 3 years ago
- Pick your favorite language to verify your chip.☆64Updated last week
- AXI Adapter(s) for RISC-V Atomic Operations☆66Updated 3 weeks ago
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆35Updated last year
- Transactional Verilog design and Verilator Testbench for a RISC-V TensorCore Vector co-processor for reproducible linear algebra☆57Updated 3 years ago