cambridgehackers / open-src-cvc
Mirror of tachyon-da cvc Verilog simulator
☆40Updated last year
Alternatives and similar repositories for open-src-cvc:
Users that are interested in open-src-cvc are comparing it to the libraries listed below
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 7 months ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- DUTH RISC-V Superscalar Microprocessor☆30Updated 3 months ago
- Platform Level Interrupt Controller☆36Updated 9 months ago
- LIS Network-on-Chip Implementation☆29Updated 8 years ago
- PCI Express controller model☆48Updated 2 years ago
- SystemVerilog Functional Coverage for RISC-V ISA☆25Updated 4 months ago
- Digital Hardware Modelling using VHDL, Verilog, SystemVerilog, SystemC, HLS(C++, OpenCL)☆63Updated last week
- ☆53Updated 4 years ago
- ☆40Updated 5 years ago
- Archives of SystemC from The Ground Up Book Exercises☆30Updated 2 years ago
- Hamming ECC Encoder and Decoder to protect memories☆29Updated 3 weeks ago
- RISC-V soft-core PEs for TaPaSCo☆18Updated 8 months ago
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆63Updated 2 years ago
- The RTL source for AnyCore RISC-V☆31Updated 2 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 4 years ago
- Common SystemVerilog package used by all RoaLogic IP with AMBA AHB3-Lite interfaces☆16Updated 9 months ago
- ☆36Updated 2 years ago
- SystemVerilog DPI "TCP/IP Shunt" (System Verilog/SystemC/Python TCP/IP socket library)☆42Updated last week
- fakeram generator for use by researchers who do not have access to commercial ram generators☆35Updated 2 years ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆75Updated 10 months ago
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆40Updated 4 years ago
- HW-SW Co-Simulation Library for AMBA AXI BFM using DPI/VPI☆30Updated last month
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆79Updated 4 months ago
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensions☆60Updated 9 months ago
- contains TLM2 based interfaces for AXI, ACE, CHI and other standard protocols☆55Updated last month
- Open source RTL simulation acceleration on commodity hardware☆23Updated last year
- A barebones 64-bit RISC-V micro-controller class CPU, implementing the I(nteger), M(ul/div), C(ompressed) and K(ryptography) extensions.☆44Updated 3 years ago
- Wavious DDR (WDDR) Physical interface (PHY) Software☆19Updated 3 years ago