HardwareIR / netlistDBLinks
netlistDB - Intermediate format for digital hardware representation with graph database API
☆31Updated 4 years ago
Alternatives and similar repositories for netlistDB
Users that are interested in netlistDB are comparing it to the libraries listed below
Sorting:
- Collection of test cases for Yosys☆18Updated 3 years ago
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- A Python package for testing hardware (part of the magma ecosystem)☆43Updated last year
- The Shang high-level synthesis framework☆120Updated 11 years ago
- An advanced header-only exact synthesis library☆26Updated 2 years ago
- ☆44Updated 5 years ago
- Parsing library for BLIF netlists☆19Updated 8 months ago
- ☆103Updated 3 years ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆82Updated 9 months ago
- Debuggable hardware generator☆69Updated 2 years ago
- ☆15Updated 4 years ago
- A library and command-line tool for querying a Verilog netlist.☆27Updated 3 years ago
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆27Updated 5 years ago
- Source codes and calibration scripts for clock tree synthesis☆40Updated 5 years ago
- SCARV: a side-channel hardened RISC-V platform☆27Updated 2 years ago
- ☆22Updated 2 years ago
- Implementation of the Advanced Encryption Standard in Chisel☆20Updated 3 years ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆36Updated last year
- OpenDesign Flow Database☆16Updated 6 years ago
- A SystemVerilog source file pickler.☆59Updated 8 months ago
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆22Updated 3 weeks ago
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆65Updated 2 years ago
- A custom C++ routine to identify logic gates in the layout extracted netlist (SPICE) of digital circuits and generate gate-level Verilog …☆30Updated 10 months ago
- Constrained random stimuli generation for C++ and SystemC☆52Updated last year
- BSG Replicant: Cosimulation and Emulation Infrastructure for HammerBlade☆34Updated 3 weeks ago
- A simple dot file / graph generator for Verilog syntax trees.☆22Updated 8 years ago
- The PE for the second generation CGRA (garnet).☆17Updated 2 months ago
- Repo for all activity related to the ODSA Bunch of Wires Specification☆24Updated last year
- ☆66Updated 2 years ago