jpsety / verilog_benchmark_circuits
EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog
☆24Updated 5 years ago
Alternatives and similar repositories for verilog_benchmark_circuits:
Users that are interested in verilog_benchmark_circuits are comparing it to the libraries listed below
- Collection of digital hardware modules & projects (benchmarks)☆36Updated 2 months ago
- A collection of ISCAS,ITC,TAU and other Benchmark Circuits for EDA tool evaluation.☆39Updated this week
- Re-host of ISCAS89 sequential benchmark circuits in higher level verilog (without "DFF")☆13Updated 3 years ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆75Updated 9 months ago
- Incremental Timing-Driven Placement, problem C of ICCAD contest 2015☆13Updated 7 years ago
- ☆22Updated 8 months ago
- Generator of arithmetic circuits (multipliers, adders) and approximate circuits☆30Updated this week
- ☆21Updated 6 months ago
- IDEA project source files☆101Updated 2 months ago
- FAN (fan-out-oriented) ATPG (Automatic Test Pattern Generation) and Fault Simulation command line tool☆81Updated last year
- MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design☆39Updated 4 months ago
- An Open-Source Analytical Placer for Large Scale Heterogeneous FPGAs using Deep-Learning Toolkit☆79Updated last week
- A logic synthesis tool☆72Updated 2 years ago
- DATC Robust Design Flow.☆37Updated 4 years ago
- reference block design for the ASAP7nm library in Cadence Innovus☆33Updated 6 months ago
- GPU-based logic synthesis tool☆78Updated 6 months ago
- EDA physical synthesis optimization kit☆50Updated last year
- A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Ve…☆21Updated last week
- AutoCellLibX: Automated Standard Cell Library Extension Based on Pattern Mining☆12Updated 2 years ago
- Workshop on Open-Source EDA Technology (WOSET)☆48Updated 2 months ago
- ITC'99 benchmarks developed in the CAD Group at Politecnico di Torino☆49Updated last year
- Research paper based on or related to ABC.☆24Updated this week
- Open Source tool to build liberty files and for Characterizing Standard Cells.☆24Updated 3 years ago
- ☆14Updated 4 years ago
- ☆36Updated 9 months ago
- Material for OpenROAD Tutorial at DAC 2020☆46Updated 2 years ago
- DATC RDF☆49Updated 4 years ago
- ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set☆18Updated 3 weeks ago
- Optimization results for superconducting electronic (SCE) circuits☆11Updated last year
- A parser for Value Change Dump (VCD) files as specified in the IEEE System Verilog 1800-2012 standard.☆91Updated 2 years ago