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.☆39Updated last year
- Collection of test cases for Yosys☆18Updated 3 years ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆30Updated 3 years ago
- SCARV: a side-channel hardened RISC-V platform☆24Updated 2 years ago
- Provides a packaged collection of open source EDA tools☆12Updated 5 years ago
- Implementation of the Advanced Encryption Standard in Chisel☆20Updated 2 years ago
- A configurable SRAM generator☆42Updated last month
- Benchmarks for Yosys development☆23Updated 5 years ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 7 months ago
- A basic documentation generator for Verilog, similar to Doxygen.☆11Updated 8 years ago
- Hardware Formal Verification☆15Updated 4 years ago
- ☆36Updated 2 years ago
- Fast Symbolic Repair of Hardware Design Code☆22Updated last month
- ☆22Updated last year
- ☆33Updated 2 years ago
- LibreSilicon's Standard Cell Library Generator☆18Updated 9 months ago
- ☆40Updated 5 years ago
- LLVM based HLS library for HWToolkit (hardware devel. toolkit)☆25Updated 2 months ago
- KLayout technology files for ASAP7 FinFET educational process☆20Updated 2 years ago
- ☆14Updated 4 years ago
- An automatic clock gating utility☆43Updated 7 months ago
- Library of open source Process Design Kits (PDKs)☆33Updated this week
- Constrained RAndom Verification Enviroment (CRAVE)☆17Updated last year
- Equivalence checking with Yosys☆40Updated last week
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆20Updated last week
- An open source PDK using TIGFET 10nm devices.☆47Updated 2 years ago
- This repo shows an implementation of an FPGA from RTL to GDS with open Skywater-130 pdk☆27Updated 3 years ago
- Wavious DDR (WDDR) Physical interface (PHY) Software☆19Updated 3 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