lsils / SCE-benchmarks
Optimization results for superconducting electronic (SCE) circuits
☆12Updated last year
Alternatives and similar repositories for SCE-benchmarks:
Users that are interested in SCE-benchmarks are comparing it to the libraries listed below
- Collection of digital hardware modules & projects (benchmarks)☆41Updated 3 months ago
- EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog☆25Updated 5 years ago
- C++ header-only exact synthesis library☆15Updated 2 years ago
- GPU-based logic synthesis tool☆80Updated 7 months ago
- A collection of ISCAS,ITC,TAU and other Benchmark Circuits for EDA tool evaluation.☆43Updated last month
- ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set☆19Updated last month
- ☆25Updated 9 months ago
- Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)☆49Updated last month
- An Open-Source Analytical Placer for Large Scale Heterogeneous FPGAs using Deep-Learning Toolkit☆79Updated last month
- ☆38Updated 2 years ago
- EDA physical synthesis optimization kit☆50Updated last year
- ☆10Updated 2 years ago
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆29Updated last year
- MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design☆41Updated 5 months ago
- Generator of arithmetic circuits (multipliers, adders) and approximate circuits☆30Updated 3 weeks ago
- Delay Calculation ToolKit☆27Updated 2 years ago
- ILP SAT Detailed Router☆11Updated 4 years ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆35Updated 7 months ago
- Workshop on Open-Source EDA Technology (WOSET)☆48Updated 3 months ago
- OpenDesign Flow Database☆16Updated 6 years ago
- Material for OpenROAD Tutorial at DAC 2020☆46Updated 2 years ago
- DATC RDF☆49Updated 4 years ago
- ☆69Updated 2 months ago
- ☆15Updated 4 years ago
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Updated 3 years ago
- DATC Robust Design Flow.☆37Updated 5 years ago
- ABACUS is a tool for approximate logic synthesis☆14Updated 4 years ago
- Runtime-First FPGA Interchange Routing Contest @ FPGA’24☆31Updated 3 months ago
- ☆23Updated 2 years ago
- ☆49Updated 4 months ago