verilog-to-routing / libblifparse
Parsing library for BLIF netlists
☆18Updated 5 months ago
Alternatives and similar repositories for libblifparse:
Users that are interested in libblifparse are comparing it to the libraries listed below
- ☆43Updated 5 years ago
- Source codes and calibration scripts for clock tree synthesis☆40Updated 5 years ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆30Updated 4 years ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆35Updated 9 months ago
- Tatum: A Fast, Flexible Static Timing Analysis (STA) Engine for Digital Circuits☆56Updated 10 months ago
- fakeram generator for use by researchers who do not have access to commercial ram generators☆35Updated 2 years ago
- Constrained random stimuli generation for C++ and SystemC☆50Updated last year
- ☆34Updated 5 years ago
- Mirror of tachyon-da cvc Verilog simulator☆42Updated last year
- ☆11Updated 5 years ago
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆30Updated last year
- Constrained RAndom Verification Enviroment (CRAVE)☆17Updated last year
- ☆31Updated last year
- A Standalone Structural Verilog Parser☆89Updated 3 years ago
- EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog☆25Updated 5 years ago
- ☆26Updated 7 years ago
- C++ header-only exact synthesis library☆16Updated 2 years ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆52Updated 5 years ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆29Updated 8 months ago
- Workshop on Open-Source EDA Technology (WOSET)☆49Updated 4 months ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆81Updated 5 months ago
- EDA physical synthesis optimization kit☆51Updated last year
- An Open-Source Analytical Placer for Large Scale Heterogeneous FPGAs using Deep-Learning Toolkit☆79Updated 2 months ago
- Open Source tool to build liberty files and for Characterizing Standard Cells.☆26Updated 4 years ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- Open source RTL simulation acceleration on commodity hardware☆25Updated last year
- Collection of digital hardware modules & projects (benchmarks)☆52Updated 4 months ago
- LIS Network-on-Chip Implementation☆29Updated 8 years ago
- Python library of AST nodes for SystemVerilog/VHDL, code generator, transpiler and translator☆33Updated 4 months ago
- IDEA project source files☆104Updated 4 months ago