ITC'99 benchmarks developed in the CAD Group at Politecnico di Torino
☆76May 14, 2025Updated last year
Alternatives and similar repositories for I99T
Users that are interested in I99T are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Feb 9, 2022Updated 4 years ago
- GNN-RE datasets for circuit recognition☆63May 16, 2023Updated 3 years ago
- Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)☆58Jan 8, 2025Updated last year
- ☆13Jan 10, 2023Updated 3 years ago
- A collection of ISCAS,ITC,TAU and other Benchmark Circuits for EDA tool evaluation.☆86Apr 30, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- DeepGate3 for ICCAD2024☆14Updated this week
- EPFL logic synthesis benchmarks☆273Aug 13, 2026Updated 2 months ago
- SMT Attack☆23Mar 5, 2021Updated 5 years ago
- OpenABC-D is a large-scale labeled dataset generated by synthesizing open source hardware IPs. This dataset can be used for various graph…☆153Jul 23, 2025Updated last year
- Atalanta is a modified ATPG (Automatic Test Pattern Generation) tool and fault simulator, orginally from VirginiaTech University.☆96May 7, 2024Updated 2 years ago
- This repository contains 4000 vulnerable hardware designs. Currently this is in Jsonl format for directly using it for fine-tuning LLMs. …☆24Mar 25, 2025Updated last year
- Collection of digital hardware modules & projects (benchmarks)☆113Feb 27, 2026Updated 8 months ago
- Github repository of the AIStats 2024 paper: DE-HNN: An effective neural model for Circuit Netlist representation☆17Sep 3, 2025Updated last year
- Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits☆35Aug 25, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A fork of Yosys that integrates the CellIFT pass☆14Sep 12, 2026Updated last month
- ☆31Apr 23, 2024Updated 2 years ago
- A multi-purpose extensible self-adaptive evolutionary tool☆14Aug 14, 2024Updated 2 years ago
- Tools for working with circuits as graphs in python☆132Nov 17, 2023Updated 2 years ago
- LOSTIN: Logic Optimization via Spatio-Temporal Information with Hybrid Graph Models☆27May 29, 2022Updated 4 years ago
- Hypergraph Partitioning: benchmarks, evaluators, best known solutions and codes☆91Aug 4, 2026Updated 2 months ago
- This repository has a list of collaterals needed for ICC2 workshop. It has a modified version of ORCA which was taped-out by NTI.☆33Feb 11, 2024Updated 2 years ago
- Library for VLSI CAD Design Useful parsers and solvers' api are implemented.☆199May 19, 2025Updated last year
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆69Dec 1, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Must-read papers on Graph Neural Networks (GNNs) for Integrated Circuits (ICs) design, security and reliability.☆96Jul 10, 2025Updated last year
- This GitHub repo is for the OpenROAD and CircuitOps Tutorial at ASP-DAC 2024☆55Jan 19, 2025Updated last year
- This is a probabilistic SAT attack tool.☆13Jun 5, 2021Updated 5 years ago
- Lingeling SAT Solver☆111Mar 12, 2024Updated 2 years ago
- Rsyn – An Extensible Physical Synthesis Framework☆143Jul 20, 2024Updated 2 years ago
- ABC: System for Sequential Logic Synthesis and Formal Verification☆1,247Updated this week
- Power grid analysis☆23Aug 5, 2020Updated 6 years ago
- AIGER And-Inverter-Graph Library☆107Feb 17, 2026Updated 8 months ago
- ☆16May 11, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A tool to convert Verilog RTL file generated from Xilinx Vivado HLS to an equivalent C Code.☆12Jun 16, 2021Updated 5 years ago
- ☆13Oct 13, 2025Updated last year
- Lock circuitgraphs using various logic locking techniques☆11May 2, 2023Updated 3 years ago
- ☆14May 26, 2022Updated 4 years ago
- ☆50May 18, 2024Updated 2 years ago
- ☆113Jun 20, 2025Updated last year
- A Timing Engine Inspired Graph Neural Network Model for Pre-Routing Slack Prediction (DAC 2022). Open source code available at https://gi…☆10Mar 22, 2023Updated 3 years ago