HardwareIR / netlistDB
netlistDB - Intermediate format for digital hardware representation with graph database API
☆30Updated 3 years ago
Alternatives and similar repositories for netlistDB:
Users that are interested in netlistDB are comparing it to the libraries listed below
- Collection of test cases for Yosys☆18Updated 3 years ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- Parsing library for BLIF netlists☆18Updated 4 months ago
- ☆41Updated 5 years ago
- ☆55Updated 2 years ago
- LLVM based HLS library for HWToolkit (hardware devel. toolkit)☆25Updated 3 months ago
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- Java library for parsing and manipulating graph representations of gate-level Verilog netlists☆13Updated 8 years ago
- SCARV: a side-channel hardened RISC-V platform☆24Updated 2 years ago
- The PE for the second generation CGRA (garnet).☆17Updated last week
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆14Updated 8 years ago
- ☆22Updated 2 years ago
- Benchmarks for Yosys development☆23Updated 5 years ago
- Source codes and calibration scripts for clock tree synthesis☆40Updated 5 years ago
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- LIS Network-on-Chip Implementation☆29Updated 8 years ago
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆21Updated last week
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆81Updated 5 months ago
- BSG Replicant: Cosimulation and Emulation Infrastructure for HammerBlade☆31Updated last week
- Equivalence checking with Yosys☆40Updated last month
- ☆31Updated last year
- Constrained RAndom Verification Enviroment (CRAVE)☆17Updated last year
- Implementation of the Advanced Encryption Standard in Chisel☆20Updated 2 years ago
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆34Updated 4 years ago
- CoreIR Symbolic Analyzer☆64Updated 4 years ago
- Constrained random stimuli generation for C++ and SystemC☆50Updated last year
- Top-Level Project for Firebox SoC, consisting of Rocket, BOOM, and peripherals (e.g. Ethernet NIC). This is the default target generator …☆56Updated 5 years ago
- Debuggable hardware generator☆68Updated 2 years ago
- An advanced header-only exact synthesis library☆24Updated 2 years ago
- SystemVerilog language server client for Visual Studio Code☆20Updated 2 years ago