verilog-to-routing / libblifparse
Parsing library for BLIF netlists
☆18Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for libblifparse
- ☆39Updated 4 years ago
- Constrained RAndom Verification Enviroment (CRAVE)☆16Updated 11 months ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- Source codes and calibration scripts for clock tree synthesis☆39Updated 4 years ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆79Updated last month
- Python library of AST nodes for SystemVerilog/VHDL, code generator, transpiler and translator☆31Updated 3 weeks ago
- Constrained random stimuli generation for C++ and SystemC☆49Updated 11 months ago
- ☆30Updated last year
- ☆11Updated 4 years ago
- EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog☆23Updated 4 years ago
- Tatum: A Fast, Flexible Static Timing Analysis (STA) Engine for Digital Circuits☆55Updated 5 months ago
- A header only C++11 library for functional coverage☆36Updated 2 years ago
- Mirror of Synopsys's Liberty parser library☆18Updated 6 years ago
- fakeram generator for use by researchers who do not have access to commercial ram generators☆33Updated last year
- netlistDB - Intermediate format for digital hardware representation with graph database API☆29Updated 3 years ago
- Mirror of tachyon-da cvc Verilog simulator☆37Updated last year
- ☆20Updated 3 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆25Updated 4 years ago
- Collection of test cases for Yosys☆17Updated 2 years ago
- use pivpi to drive testbench event☆20Updated 8 years ago
- Open Source PHY v2☆25Updated 6 months ago
- slang-based frontend for Yosys☆43Updated this week
- Public repository for PySysC, (From SC Common Practices Subgroup)☆48Updated 10 months ago
- Extended and external tests for Verilator testing☆15Updated last week
- Collection of digital hardware modules & projects (benchmarks)☆33Updated last week
- Open Source tool to build liberty files and for Characterizing Standard Cells.☆24Updated 3 years ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 4 months ago
- An example of using Ramulator as memory model in a cycle-accurate SystemC Design☆46Updated 7 years ago
- contains TLM2 based interfaces for AXI, ACE, CHI and other standard protocols☆49Updated last month
- Example of a Virtual Platform implemented with Modern C++(14) and SystemC TLM-2.0☆24Updated 2 years ago