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:
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆36Updated 3 years ago
- OpTiMSoC - A tiled SoC platform with a mesh NoC and OpenRISC CPU cores☆87Updated 4 years ago
- ☆43Updated 3 years ago
- Python script to transform a VCD file to wavedrom format☆82Updated 3 years 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 …☆39Updated 5 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 2 months ago
- Quick'n'dirty FuseSoC+cocotb example☆19Updated last year
- FPGA250 aboard the eFabless Caravel☆32Updated 5 years ago
- Extended and external tests for Verilator testing☆17Updated this week
- Repository gathering basic modules for CDC purpose☆56Updated 6 years ago
- A 32 bit RISCV Based SOC with QSpi , Uart and 8 bit SDRAM Controller tagetted to efebless shuttle program☆20Updated 2 years ago
- Translates IPXACT XML to synthesizable VHDL or SystemVerilog☆64Updated 3 weeks ago
- SystemVerilog Linter based on pyslang☆31Updated 8 months ago
- An open source, parameterized SystemVerilog digital hardware IP library☆30Updated last year
- JTAG DPI module for SystemVerilog RTL simulations☆31Updated 10 years ago
- The openMSP430 is a synthesizable 16bit microcontroller core written in Verilog.☆70Updated 7 years ago
- RISCV model for Verilator/FPGA targets☆53Updated 6 years ago
- IP-core package generator for AXI4/Avalon☆22Updated 7 years ago
- ☆38Updated 3 years ago
- ☆40Updated last year
- Import and export IP-XACT XML register models☆36Updated 2 months ago
- TCP/IP controlled VPI JTAG Interface.☆69Updated 11 months ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆42Updated last year
- AXI4-Compatible Verilog Cores, along with some helper modules.☆17Updated 5 years ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆30Updated last year
- A simple, scalable, source-synchronous, all-digital DDR link☆33Updated 3 weeks ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆120Updated 2 years ago
- Antmicro's fast, vendor-neutral DMA IP in Chisel☆128Updated 7 months ago
- SystemVerilog FSM generator☆33Updated last year
- Extensible FPGA control platform☆61Updated 2 years ago