intel / rohd-vf
The ROHD Verification Framework is a hardware verification framework built upon ROHD for building testbenches.
☆37Updated last month
Alternatives and similar repositories for rohd-vf:
Users that are interested in rohd-vf are comparing it to the libraries listed below
- Cosimulation for the Rapid Open Hardware Development (ROHD) framework with other simulators☆20Updated 2 weeks ago
- A hardware component library developed with ROHD.☆87Updated this week
- ☆87Updated last year
- SystemVerilog modules and classes commonly used for verification☆45Updated last month
- ☆45Updated 8 years ago
- A Fast, Low-Overhead On-chip Network☆171Updated last week
- Open Source tool to build liberty files and for Characterizing Standard Cells.☆24Updated 4 years ago
- A dynamic verification library for Chisel.☆146Updated 3 months ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆76Updated 10 months ago
- AXI Adapter(s) for RISC-V Atomic Operations☆60Updated 5 months ago
- This repository is compilation of basics of System Verilog Assertions in context of formal verification☆20Updated 5 years ago
- Python bindings for slang, a library for compiling SystemVerilog☆55Updated last month
- A PULP SoC for education, easy to understand and extend with a full flow for a physical design.☆51Updated this week
- Synthesizable real number library in SystemVerilog, supporting both fixed- and floating-point formats☆43Updated 4 years ago
- Announcements related to Verilator☆39Updated 4 years ago
- AXI4 Full, Lite, and AxiStream verification components. AXI4 Interface Master, Responder, and Memory verification components. AxiStream t…☆133Updated last week
- Proposed RISC-V Composable Custom Extensions Specification☆69Updated 9 months ago
- Code to read various RTL simulator wave formats (fsdb, shm, vcd, wlf) into python and apply it as stimuli via cocotb/plain vpi.☆56Updated 3 years ago
- Spatz is a compact RISC-V-based vector processor meant for high-performance, small computing clusters.☆90Updated this week
- ideas and eda software for vlsi design☆49Updated last week
- Python packages providing a library for Verification Stimulus and Coverage☆116Updated 5 months ago
- Introductory course into static timing analysis (STA).☆83Updated 3 months ago
- SystemVerilog frontend for Yosys☆74Updated this week
- Standard Cell Library based Memory Compiler using FF/Latch cells☆141Updated 8 months ago
- Home of the Advanced Interface Bus (AIB) specification.☆49Updated 2 years ago
- Functional Coverage and Constrained Randomization Extensions for Cocotb☆108Updated last year
- This repo is created to include illustrative examples on object oriented design pattern in SV☆55Updated last year
- (System)Verilog to Chisel translator☆111Updated 2 years ago
- A SystemVerilog source file pickler.☆54Updated 4 months ago
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆64Updated 3 weeks ago