masc-ucsc / anubisLinks
The ANUBIS benchmark suite for Incremental Synthesis
☆12Updated 4 years ago
Alternatives and similar repositories for anubis
Users that are interested in anubis are comparing it to the libraries listed below
Sorting:
- OpenDesign Flow Database☆16Updated 6 years ago
- Macro placement tool for OpenROAD flow☆23Updated 4 years ago
- DATC Robust Design Flow.☆36Updated 5 years ago
- DATC RDF☆51Updated 4 years ago
- Java library for parsing and manipulating graph representations of gate-level Verilog netlists☆13Updated 8 years ago
- EDA physical synthesis optimization kit☆59Updated last year
- The PE for the second generation CGRA (garnet).☆17Updated 2 months ago
- Power grid analysis☆19Updated 4 years ago
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆31Updated last year
- ANSI-C benchmarks generated from Verilog RTL circuits with safety assertions. Used for Formal Property Verification.☆15Updated 6 years ago
- EDA wiki☆54Updated 2 years ago
- Global Router Built for ICCAD Contest 2019☆31Updated 5 years ago
- Open Source Detailed Placement engine☆11Updated 5 years ago
- BSG Replicant: Cosimulation and Emulation Infrastructure for HammerBlade☆34Updated last month
- ☆19Updated last year
- Routing Visualization for Physical Design☆19Updated 6 years ago
- Collection of test cases for Yosys☆18Updated 3 years ago
- IDEA project source files☆107Updated 8 months ago
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- Source codes and calibration scripts for clock tree synthesis☆40Updated 5 years ago
- ☆26Updated 2 years ago
- C++ header-only exact synthesis library☆17Updated 2 years ago
- SMT-based Simultaneous Place-&-Route for Standard Cell Synthesis for PROBE 2.0☆18Updated 4 years ago
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- A custom C++ routine to identify logic gates in the layout extracted netlist (SPICE) of digital circuits and generate gate-level Verilog …☆31Updated 10 months ago
- ☆27Updated 7 years ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆16Updated 8 years ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆36Updated last year
- ☆31Updated 3 years ago
- LEF/DEF-based port of Iowa State's open-source FastRoute 4.1☆56Updated 4 years ago