chiphackers / covered
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.
☆28Updated 6 years ago
Alternatives and similar repositories for covered:
Users that are interested in covered are comparing it to the libraries listed below
- OpTiMSoC - A tiled SoC platform with a mesh NoC and OpenRISC CPU cores☆82Updated 3 years ago
- Running Python code in SystemVerilog☆66Updated 5 months ago
- ☆36Updated 2 years ago
- This is mainly a simulation library of xilinx primitives that are verilator compatible.☆31Updated 6 months ago
- ☆40Updated 2 years ago
- SystemVerilog frontend for Yosys☆68Updated last week
- ☆31Updated last year
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆25Updated 4 years ago
- Wishbone interconnect utilities☆38Updated 7 months ago
- Platform Level Interrupt Controller☆35Updated 8 months ago
- Translates IPXACT XML to synthesizable VHDL or SystemVerilog☆57Updated 6 months ago
- SystemVerilog Linter based on pyslang☆25Updated last week
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 6 months ago
- ☆26Updated last year
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆35Updated 2 years ago
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆65Updated 4 months ago
- Extensible FPGA control platform☆55Updated last year
- Announcements related to Verilator☆38Updated 4 years ago
- This project is done in the course of "Advanced Physical Design using OpenLANE/Sky130" workshop by VLSI System Design Corporation. In thi…☆40Updated 3 years ago
- An SPI to AXI4-lite bridge for easy interfacing of airhdl register banks with any microcontroller.☆46Updated last year
- An automatic clock gating utility☆43Updated 6 months ago
- Digital Hardware Modelling using VHDL, Verilog, SystemVerilog, SystemC, HLS(C++, OpenCL)☆62Updated 4 years ago
- JTAG DPI module for SystemVerilog RTL simulations☆27Updated 9 years ago
- Python interface to FPGA interchange format☆41Updated 2 years ago
- An example Python-based MDV testbench for apbi2c core☆30Updated 5 months ago
- ☆31Updated last week
- This repository is no longer maintained. New repository is here(https://github.com/rggen/rggen).☆16Updated 5 years ago
- Open source ISS and logic RISC-V 32 bit project☆41Updated last month
- UART models for cocotb☆24Updated last year
- Quick'n'dirty FuseSoC+cocotb example☆18Updated last month