DfX-NYUAD / GNNUnlockLinks
☆16Updated 3 years ago
Alternatives and similar repositories for GNNUnlock
Users that are interested in GNNUnlock are comparing it to the libraries listed below
Sorting:
- ITC'99 benchmarks developed in the CAD Group at Politecnico di Torino☆64Updated 5 months ago
 - Artificial Netlist Generator☆44Updated last year
 - GNN-RE datasets for circuit recognition☆55Updated 2 years ago
 - Collection of digital hardware modules & projects (benchmarks)☆65Updated 2 weeks ago
 - This is an official implementation for "DeepGate: Learning Neural Representations of Logic Gates".☆24Updated 2 years ago
 - A collection of ISCAS,ITC,TAU and other Benchmark Circuits for EDA tool evaluation.☆57Updated 9 months ago
 - Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)☆53Updated 9 months ago
 - ☆31Updated last year
 - Must-read papers on Graph Neural Networks (GNNs) for Integrated Circuits (ICs) design, security and reliability.☆68Updated 3 months ago
 - OpenABC-D is a large-scale labeled dataset generated by synthesizing open source hardware IPs. This dataset can be used for various graph…☆136Updated 3 months ago
 - Research paper based on or related to ABC.☆55Updated 3 months ago
 - EPFL logic synthesis benchmarks☆213Updated last month
 - Analog IC symmetry extraction benchmark of AncstrGNN☆10Updated last year
 - Official open source repository for "A Timing Engine Inspired Graph Neural Network Model for Pre-Routing Slack Prediction" (DAC 2022)☆81Updated last year
 - Re-host of ISCAS89 sequential benchmark circuits in higher level verilog (without "DFF")☆15Updated 3 years ago
 - ☆25Updated last year
 - ☆27Updated last year
 - A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Ve…☆34Updated 3 months ago
 - Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs☆39Updated last year
 - DATC RDF☆50Updated 5 years ago
 - EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog☆28Updated 5 years ago
 - IDEA project source files☆108Updated 2 weeks ago
 - Incremental Timing-Driven Placement, problem C of ICCAD contest 2015☆15Updated 8 years ago
 - GPU-based logic synthesis tool☆92Updated 2 months ago
 - A logic synthesis tool☆82Updated last month
 - MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design☆58Updated 5 months ago
 - ☆77Updated 4 months ago
 - ☆40Updated 2 years ago
 - LOSTIN: Logic Optimization via Spatio-Temporal Information with Hybrid Graph Models☆25Updated 3 years ago
 - High-Level Synthesis Performance Prediction using GNNs: Benchmarking, Modeling, and Advancing☆51Updated last year