antmicro / verilator-uvm-exampleLinks
Example of how to use UVM with Verilator
☆34Updated 2 months ago
Alternatives and similar repositories for verilator-uvm-example
Users that are interested in verilator-uvm-example are comparing it to the libraries listed below
Sorting:
- mantle library☆44Updated 3 years ago
- A padring generator for ASICs☆25Updated 2 years ago
- ☆59Updated 3 years ago
- Prefix tree adder space exploration library☆56Updated last week
- Small SERV-based SoC primarily for OpenMPW tapeout☆49Updated last month
- USB virtual model in C++, co-simulating with Verilog, SystemVerilog and VHDL☆32Updated last year
- An automatic clock gating utility☆52Updated 9 months ago
- ☆33Updated 3 years ago
- Mutation Cover with Yosys (MCY)☆90Updated 3 weeks ago
- PicoRV☆43Updated 5 years ago
- Xilinx Unisim Library in Verilog☆86Updated 5 years ago
- Multiply-Accumulate and Rectified-Linear Accelerator for Neural Networks☆92Updated 6 years ago
- Benchmarks for Yosys development☆24Updated 5 years ago
- A collection of big designs to run post-synthesis simulations with yosys☆51Updated 10 years ago
- Gate-level visualization generator for SKY130-based chip designs.☆20Updated 4 years ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆42Updated last year
- ☆38Updated 3 years ago
- Python interface to FPGA interchange format☆41Updated 3 years ago
- AXI Formal Verification IP☆22Updated 4 years ago
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆35Updated 5 years ago
- ☆18Updated 5 years ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆30Updated last year
- Builds, flow and designs for the alpha release☆54Updated 6 years ago
- an inverter drawn in magic with makefile to simulate☆27Updated 3 years ago
- Bitstream relocation and manipulation tool.☆51Updated 3 years ago
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆37Updated 3 years ago
- A Verilog Synthesis Regression Test☆37Updated 2 weeks ago
- Demo SoC for SiliconCompiler.☆62Updated last week
- ☆38Updated 3 years ago
- Open source MPSoC running 620 MIPS (CHStone) of RISC-V (RV32iMC) programms on the ARTY board (XC7A35T).☆22Updated 6 years ago