xprova / netlist-graph
Java library for parsing and manipulating graph representations of gate-level Verilog netlists
☆13Updated 8 years ago
Alternatives and similar repositories for netlist-graph:
Users that are interested in netlist-graph are comparing it to the libraries listed below
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆41Updated 2 years ago
- Collection of test cases for Yosys☆18Updated 3 years ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆29Updated 9 months ago
- Hardware Formal Verification☆15Updated 4 years ago
- LLVM based HLS library for HWToolkit (hardware devel. toolkit)☆25Updated 5 months ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆31Updated 4 years ago
- Cross EDA Abstraction and Automation☆36Updated last week
- ☆18Updated 4 years ago
- SCARV: a side-channel hardened RISC-V platform☆26Updated 2 years ago
- Benchmarks for Yosys development☆24Updated 5 years ago
- Provides a packaged collection of open source EDA tools☆12Updated 6 years ago
- ☆43Updated 5 years ago
- Wavious DDR (WDDR) Physical interface (PHY) Software☆20Updated 3 years ago
- ☆33Updated 2 years ago
- Implementation of the Advanced Encryption Standard in Chisel☆20Updated 3 years ago
- KLayout technology files for ASAP7 FinFET educational process☆20Updated 2 years ago
- Equivalence checking with Yosys☆42Updated 2 weeks ago
- Verilog VPI module to dump FST (Fast Signal Trace) databases☆16Updated last year
- CMake based hardware build system☆16Updated last week
- Constrained RAndom Verification Enviroment (CRAVE)☆17Updated last year
- ☆15Updated 4 years ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆27Updated 4 years ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated last year
- ☆12Updated 4 years ago
- An automatic clock gating utility☆47Updated last week
- ASIC Design kit for Skywater 130 for use with mflowgen☆11Updated 2 years ago
- ☆31Updated last year
- Designs for Process-Voltage-Temperature (PVT) Sensors with MCU☆22Updated 4 years ago
- LIS Network-on-Chip Implementation☆29Updated 8 years ago