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 library and command-line tool for querying a Verilog netlist.☆27Updated 3 years ago
- ☆44Updated 5 years ago
- C++17 implementation of an AST for Verilog code generation☆24Updated 2 years ago
- Source codes and calibration scripts for clock tree synthesis☆40Updated 5 years ago
- The PE for the second generation CGRA (garnet).☆17Updated last month
- Parsing library for BLIF netlists☆19Updated 7 months ago
- LLVM based HLS library for HWToolkit (hardware devel. toolkit)☆25Updated last week
- Designs for Process-Voltage-Temperature (PVT) Sensors with MCU☆22Updated 5 years ago
- An advanced header-only exact synthesis library☆26Updated 2 years ago
- LIS Network-on-Chip Implementation☆29Updated 8 years ago
- Debuggable hardware generator☆69Updated 2 years ago
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆22Updated 2 weeks ago
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆36Updated 11 months ago
- Benchmarks for Yosys development☆24Updated 5 years ago
- OpenDesign Flow Database☆16Updated 6 years ago
- SoCRocket - Core Repository☆37Updated 8 years ago
- Quasar 2.0: Chisel equivalent of SweRV-EL2☆30Updated 4 years ago
- A fault-injection framework using Chisel and FIRRTL☆36Updated last month
- A formal spec of the RISC-V Instruction Set Architecture, written in Bluespec BSV (executable, synthesizable)☆20Updated 7 years ago
- BSG Replicant: Cosimulation and Emulation Infrastructure for HammerBlade☆33Updated this week
- ☆56Updated 2 years ago
- Top-Level Project for Firebox SoC, consisting of Rocket, BOOM, and peripherals (e.g. Ethernet NIC). This is the default target generator …☆57Updated 5 years ago
- A SystemVerilog source file pickler.☆57Updated 8 months ago
- EDA wiki☆54Updated 2 years ago
- Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics☆18Updated last year
- ☆22Updated 2 years ago
- ☆27Updated 7 years ago