xprova / netlist-graphLinks
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
Sorting:
- Benchmarks for Yosys development☆24Updated 5 years ago
- The PE for the second generation CGRA (garnet).☆17Updated 2 months ago
- Collection of test cases for Yosys☆18Updated 3 years ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆31Updated 4 years ago
- The ANUBIS benchmark suite for Incremental Synthesis☆12Updated 4 years ago
- OpenDesign Flow Database☆16Updated 6 years ago
- A library and command-line tool for querying a Verilog netlist.☆27Updated 3 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆42Updated 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
- A fault-injection framework using Chisel and FIRRTL☆36Updated 2 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
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- System on Chip with RISCV-32 / RISCV-64 / RISCV-128☆22Updated last month
- Implementation of the Advanced Encryption Standard in Chisel☆20Updated 3 years ago
- Verilog projects for simulation and logic synthesis (Icarus Verilog, YOSYS)☆22Updated 4 years ago
- Medium Access Control layer of 802.15.4☆13Updated 10 years ago
- LLVM based HLS library for HWToolkit (hardware devel. toolkit)☆25Updated 3 weeks ago
- Source codes and calibration scripts for clock tree synthesis☆40Updated 5 years 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 Verilog Synthesis Regression Test☆37Updated last year
- C/Assembly macros for talking with Rocket Custom Coprocessors (RoCCs)☆54Updated 5 years ago
- ☆20Updated 4 years ago
- ☆27Updated 7 years ago
- CMake based hardware build system☆29Updated 2 weeks ago
- SCARV: a side-channel hardened RISC-V platform☆27Updated 2 years ago
- This repo shows an implementation of an FPGA from RTL to GDS with open Skywater-130 pdk☆30Updated 4 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
- Hardware Formal Verification☆15Updated 4 years ago
- EDA wiki☆54Updated 2 years ago
- SymbiFlow WIP changes for Verilog to Routing -- Open Source CAD Flow for FPGA Research☆38Updated 10 months ago