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.
☆30Updated 6 years ago
Alternatives and similar repositories for covered:
Users that are interested in covered are comparing it to the libraries listed below
- ☆36Updated 2 years ago
- Platform Level Interrupt Controller☆38Updated 10 months ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 4 years ago
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆35Updated 2 years ago
- OpTiMSoC - A tiled SoC platform with a mesh NoC and OpenRISC CPU cores☆83Updated 4 years ago
- SystemVerilog FSM generator☆30Updated 10 months ago
- Hamming ECC Encoder and Decoder to protect memories☆31Updated 2 months ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆40Updated last year
- Python Tool for UVM Testbench Generation☆52Updated 10 months ago
- Wishbone interconnect utilities☆39Updated last month
- SystemVerilog frontend for Yosys☆81Updated 2 weeks ago
- ☆40Updated 3 years ago
- Announcements related to Verilator☆39Updated 4 years ago
- ☆31Updated last year
- ☆26Updated last year
- ☆31Updated 2 months ago
- Running Python code in SystemVerilog☆68Updated 8 months ago
- WISHBONE DMA/Bridge IP Core☆18Updated 10 years ago
- UW reference flow for Free45PDK and The OpenROAD Project☆11Updated 4 years ago
- Common SystemVerilog package used by all RoaLogic IP with AMBA AHB3-Lite interfaces☆17Updated 11 months 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
- ☆36Updated last year
- UART models for cocotb☆26Updated 2 years ago
- High speed C/C++ based behavioural VHDL/Verilog co-simulation memory model☆22Updated 4 months ago
- Code to read various RTL simulator wave formats (fsdb, shm, vcd, wlf) into python and apply it as stimuli via cocotb/plain vpi.☆57Updated 3 years ago
- Mathematical Functions in Verilog☆91Updated 4 years ago
- A DDR3(L) PHY and controller, written in Verilog, for Xilinx 7-Series FPGAs☆67Updated 2 years ago
- A 32 bit RISCV Based SOC with QSpi , Uart and 8 bit SDRAM Controller tagetted to efebless shuttle program☆18Updated 2 years ago
- Ethernet MAC 10/100 Mbps☆79Updated 5 years ago
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆65Updated 6 months ago