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.
☆27Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for covered
- ☆36Updated 2 years ago
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆35Updated last year
- ☆39Updated 2 years ago
- ☆29Updated 2 months ago
- ☆30Updated last year
- slang-based frontend for Yosys☆43Updated this week
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆25Updated 4 years ago
- Extended and external tests for Verilator testing☆15Updated last week
- SystemVerilog Linter based on pyslang☆23Updated 8 months ago
- fakeram generator for use by researchers who do not have access to commercial ram generators☆33Updated last year
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 4 months ago
- An automatic clock gating utility☆43Updated 4 months ago
- YosysHQ SVA AXI Properties☆32Updated last year
- OpTiMSoC - A tiled SoC platform with a mesh NoC and OpenRISC CPU cores☆80Updated 3 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- AMC: Asynchronous Memory Compiler☆46Updated 4 years ago
- Digital Hardware Modelling using VHDL, Verilog, SystemVerilog, SystemC, HLS(C++, OpenCL)☆59Updated 3 years ago
- Open source process design kit for 28nm open process☆45Updated 6 months ago
- SoCGen is a tool that automates SoC design by taking in a JSON description of the system and producing the final GDS-II. SoCGen supports …☆36Updated 3 years ago
- Common SystemVerilog package used by all RoaLogic IP with AMBA AHB3-Lite interfaces☆15Updated 6 months ago
- Index of the fully open source process design kits (PDKs) maintained by Google for GlobalFoundries technologies.☆46Updated 2 years ago
- Python Tool for UVM Testbench Generation☆48Updated 6 months ago
- Announcements related to Verilator☆38Updated 4 years ago
- ☆39Updated 4 years ago
- The controller is a Verilog implementation through a state machine structure per Micro datasheet specifications, and connected to a prede…☆21Updated 6 years ago
- Small SERV-based SoC primarily for OpenMPW tapeout☆35Updated last year
- This is mainly a simulation library of xilinx primitives that are verilator compatible.☆31Updated 4 months ago
- submission repository for efabless mpw6 shuttle☆30Updated 10 months ago
- This repo shows an implementation of an FPGA from RTL to GDS with open Skywater-130 pdk☆26Updated 3 years ago
- ☆26Updated last year