agra-uni-bremen / crave
Constrained random stimuli generation for C++ and SystemC
☆50Updated last year
Alternatives and similar repositories for crave
Users that are interested in crave are comparing it to the libraries listed below
Sorting:
- SystemVerilog DPI "TCP/IP Shunt" (System Verilog/SystemC/Python TCP/IP socket library)☆44Updated 3 weeks ago
- A header only C++11 library for functional coverage☆36Updated 2 years ago
- Python bindings for slang, a library for compiling SystemVerilog☆58Updated 3 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.☆59Updated 3 years ago
- Python API to Unified Coverage Interoperability Standard (UCIS) Data☆24Updated 2 months ago
- Python packages providing a library for Verification Stimulus and Coverage☆120Updated this week
- SystemVerilog & Verilog Module I/O parser and printer☆25Updated 3 years ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆82Updated 7 months ago
- Generate SystemVerilog RTL that implements a register block from compiled SystemRDL input.☆64Updated last week
- ☆31Updated last year
- SoCRocket - Core Repository☆35Updated 8 years ago
- Code snippets from articles published on www.amiq.com/consulting/blog☆35Updated 10 months ago
- contains TLM2 based interfaces for AXI, ACE, CHI and other standard protocols☆55Updated 2 weeks ago
- use pivpi to drive testbench event☆21Updated 8 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆27Updated 4 years ago
- ☆20Updated this week
- ideas and eda software for vlsi design☆50Updated last week
- IEEE Std 1800™-2012: IEEE Standard for SystemVerilog -- Unified Hardware Design, Specification, and Verification Language syntax definiti…☆32Updated 6 months ago
- ☆50Updated 9 years ago
- A SystemC productivity library: https://minres.github.io/SystemC-Components/☆103Updated this week
- A parser for Value Change Dump (VCD) files as specified in the IEEE System Verilog 1800-2012 standard.☆94Updated 3 years ago
- A Standalone Structural Verilog Parser☆91Updated 3 years ago
- A SystemVerilog source file pickler.☆56Updated 6 months ago
- Public repository for PySysC, (From SC Common Practices Subgroup)☆52Updated last year
- Python library of AST nodes for SystemVerilog/VHDL, code generator, transpiler and translator☆34Updated 5 months ago
- Generate address space documentation HTML from compiled SystemRDL input☆51Updated 2 weeks ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆29Updated 10 months ago
- ☆92Updated last year
- ☆44Updated 5 years ago
- SystemVerilog frontend for Yosys☆103Updated this week