Java library for parsing and manipulating graph representations of gate-level Verilog netlists
☆15Jan 9, 2017Updated 9 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:
- A standalone structural (gate-level) verilog parser☆40Feb 2, 2026Updated last month
- This is a probabilistic SAT attack tool.☆13Jun 5, 2021Updated 4 years ago
- Approximate arithmetic circuits for FPGAs☆13Feb 19, 2020Updated 6 years ago
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆11Jan 18, 2024Updated 2 years ago
- OpenDesign Flow Database☆17Oct 31, 2018Updated 7 years ago
- Libre Silicon Compiler☆22Apr 13, 2021Updated 4 years ago
- Python module containing verilog files for rocket cpu (for use with LiteX).☆14Jan 16, 2026Updated 2 months ago
- A lightweight library to perform Python/Verilog co-simulation with Python3.3 coroutine + numpy. The name Nicotb cames from NatIve COrouti…☆21Dec 24, 2023Updated 2 years ago
- ☆17Nov 19, 2023Updated 2 years ago
- ☆16May 10, 2019Updated 6 years ago
- Verilog Plugin for Intellij IDEA☆10Oct 22, 2020Updated 5 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- A Standalone Structural Verilog Parser☆99Mar 31, 2022Updated 3 years ago
- Provides a packaged collection of open source EDA tools☆12Apr 14, 2019Updated 6 years ago
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated last year
- Rust implementation of CRYSTALS post-quantum cryptography primitives: Kyber key-encapsulation mechanism and Dilitium digital signature al…☆15Aug 1, 2022Updated 3 years ago
- Verilog RTL Implementation of DNN☆10Jun 26, 2018Updated 7 years ago
- A flexible framework for analyzing and transforming FPGA netlists. Official repository.☆110Feb 12, 2025Updated last year
- A Verilog parser for Haskell.☆36Jul 6, 2021Updated 4 years ago
- The ANUBIS benchmark suite for Incremental Synthesis☆12Dec 15, 2020Updated 5 years ago
- Handle Fast Signal Traces (fst) in Python☆14Jun 11, 2025Updated 9 months ago
- RISC-V BSV Specification☆23Jan 18, 2020Updated 6 years ago
- ☆10Apr 13, 2020Updated 5 years ago
- SoK: All You Need to Know About On-Device ML Model Extraction - The Gap Between Research and Practice☆16May 19, 2025Updated 10 months ago
- The PE for the second generation CGRA (garnet).☆18Feb 22, 2026Updated 3 weeks ago
- A synthesis flow for hybrid processing-in-RRAM modes☆12Jul 15, 2021Updated 4 years ago
- A Matlab/Octave parser implemented in Python, using the Lex-Yacc framework.☆18Sep 13, 2021Updated 4 years ago
- Python tools for processing Verilog files☆10Dec 7, 2011Updated 14 years ago
- libCircuit is a C++ Library for EDA software development☆18Sep 27, 2018Updated 7 years ago
- An instruction set simulator based on DBT-RISE implementing the RISC-V ISA☆37Mar 15, 2026Updated last week
- A verilog parser☆19Apr 12, 2024Updated last year
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆18Jul 17, 2016Updated 9 years ago
- ☆19Aug 30, 2020Updated 5 years ago
- IP-core package generator for AXI4/Avalon☆22Nov 25, 2018Updated 7 years ago
- Python wrapper for verilator model☆93Feb 10, 2024Updated 2 years ago
- Contains examples to start with Kactus2.☆23Aug 5, 2024Updated last year
- SAT-based ATPG using TG-Pro model☆19Jun 5, 2018Updated 7 years ago
- Fast PnR toolchain for CGRA☆18Jul 26, 2024Updated last year
- A library and command-line tool for querying a Verilog netlist.☆29Jun 13, 2022Updated 3 years ago