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☆83Updated 3 years ago
- ☆36Updated 2 years ago
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆35Updated 2 years ago
- SystemVerilog frontend for Yosys☆74Updated this week
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- Small SERV-based SoC primarily for OpenMPW tapeout☆38Updated 2 months ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 4 years ago
- This is mainly a simulation library of xilinx primitives that are verilator compatible.☆31Updated 7 months ago
- Constrained RAndom Verification Enviroment (CRAVE)☆17Updated last year
- Running Python code in SystemVerilog☆67Updated 7 months ago
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- ☆31Updated last year
- Platform Level Interrupt Controller☆36Updated 9 months ago
- UART models for cocotb☆26Updated last year
- ☆40Updated 5 years ago
- Common SystemVerilog package used by all RoaLogic IP with AMBA AHB3-Lite interfaces☆16Updated 9 months ago
- An automatic clock gating utility☆43Updated 7 months ago
- Open source ISS and logic RISC-V 32 bit project☆42Updated 2 months ago
- ☆40Updated 2 years ago
- Python library of AST nodes for SystemVerilog/VHDL, code generator, transpiler and translator☆33Updated 3 months ago
- ☆31Updated last month
- ☆26Updated last year
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- An example Python-based MDV testbench for apbi2c core☆30Updated 6 months ago
- Python Tool for UVM Testbench Generation☆50Updated 9 months ago
- SystemVerilog Linter based on pyslang☆29Updated last month
- JTAG Test Access Port (TAP)☆32Updated 10 years ago
- IP-core package generator for AXI4/Avalon☆22Updated 6 years ago
- ☆24Updated 3 years ago
- ideas and eda software for vlsi design☆49Updated last week