chiphackers / coveredLinks
Covered is a Verilog code coverage utility using VCD/LXT/FST dumpfiles (or VPI interface) and the design to generate line, toggle, memory, combinational logic, FSM state/arc and assertion coverage report metrics viewable via GUI or ASCII format.
☆32Updated 7 years ago
Alternatives and similar repositories for covered
Users that are interested in covered are comparing it to the libraries listed below
Sorting:
- OpTiMSoC - A tiled SoC platform with a mesh NoC and OpenRISC CPU cores☆88Updated 4 years ago
- JTAG DPI module for SystemVerilog RTL simulations☆31Updated 10 years ago
- Universal Advanced JTAG Debug Interface☆17Updated last year
- A 32 bit RISCV Based SOC with QSpi , Uart and 8 bit SDRAM Controller tagetted to efebless shuttle program☆21Updated 2 years ago
- Quick'n'dirty FuseSoC+cocotb example☆19Updated last year
- A simple DDR3 memory controller☆61Updated 3 years ago
- Extended and external tests for Verilator testing☆17Updated last week
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆36Updated 3 years ago
- Wishbone interconnect utilities☆44Updated last month
- TCP/IP controlled VPI JTAG Interface.☆69Updated last year
- ☆40Updated 2 years ago
- ☆41Updated 3 years ago
- The openMSP430 is a synthesizable 16bit microcontroller core written in Verilog.☆72Updated 7 years ago
- RISCV model for Verilator/FPGA targets☆53Updated 6 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 3 months ago
- Yet Another RISC-V Implementation☆99Updated last year
- Repository gathering basic modules for CDC purpose☆58Updated 6 years ago
- High speed C/C++ based behavioural VHDL/Verilog co-simulation memory model☆26Updated 6 months ago
- SpinalHDL based, FPGA Suitable RTL Implementation of RISC-V RV32. Aligned with RISC-V Virtual Prototype☆53Updated last year
- Mathematical Functions in Verilog☆96Updated 4 years ago
- Platform Level Interrupt Controller☆43Updated last year
- Python script to transform a VCD file to wavedrom format☆84Updated 3 years ago
- Open-source high performance AXI4-based HyperRAM memory controller☆82Updated 3 years ago
- JTAG DPI module for OpenRISC simulation with Verilator☆17Updated 13 years ago
- Verilog HDL implementation of SDRAM controller and SDRAM model☆39Updated last year
- SystemVerilog Linter based on pyslang☆31Updated 8 months ago
- RISC-V Nox core☆71Updated 6 months ago
- Verilog wishbone components☆123Updated 2 years ago
- Ethernet MAC 10/100 Mbps☆83Updated 6 years ago
- ☆26Updated 2 years ago