openhwgroup / cv-hpdcache-verifLinks
Verification environment for the OpenHW Group's CORE-V High Performance Data Cache controller.
☆14Updated 5 months ago
Alternatives and similar repositories for cv-hpdcache-verif
Users that are interested in cv-hpdcache-verif are comparing it to the libraries listed below
Sorting:
- Advanced Architecture Labs with CVA6☆65Updated last year
- A repository that implements Tywaves: enabling a type-based waveform debugging for Chisel and Tydi-Chisel. Mapping from Chisel level code…☆46Updated 8 months ago
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆86Updated last week
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆101Updated last month
- Open-source high-performance non-blocking cache☆86Updated last month
- A dynamic verification library for Chisel.☆152Updated 8 months ago
- ☆96Updated last year
- Spatz is a compact RISC-V-based vector processor meant for high-performance, small computing clusters.☆112Updated last week
- Open-source non-blocking L2 cache☆43Updated this week
- high-performance RTL simulator☆168Updated last year
- A Chisel RTL generator for network-on-chip interconnects☆204Updated 2 months ago
- ☆68Updated this week
- Unit tests generator for RVV 1.0☆88Updated 2 months ago
- A modular, parametrizable, and highly flexible Data Movement Accelerator (DMA)☆169Updated 3 weeks ago
- AXI Adapter(s) for RISC-V Atomic Operations☆65Updated 2 months ago
- Chisel RISC-V Vector 1.0 Implementation☆103Updated 2 months ago
- A Style Guide for the Chisel Hardware Construction Language☆108Updated 3 years ago
- RISC-V Formal Verification Framework☆142Updated last month
- ☆81Updated last year
- Tests for example Rocket Custom Coprocessors☆74Updated 5 years ago
- Verilog Configurable Cache☆179Updated 7 months ago
- Technology dependent cells instantiated in the design for generic process (simulation, FPGA)☆62Updated 5 months ago
- A Rocket-based RISC-V superscalar in-order core☆33Updated 2 months ago
- Original test vector of RISC-V Vector Extension☆13Updated 4 years ago
- Vector processor for RISC-V vector ISA☆121Updated 4 years ago
- (System)Verilog to Chisel translator☆115Updated 3 years ago
- An energy-efficient RISC-V floating-point compute cluster.☆91Updated this week
- Pure digital components of a UCIe controller☆64Updated this week
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆85Updated last year
- A tool for synthesizing Verilog programs☆95Updated last week