chuanluocs / MetaVC
Repository for MetaVC -- A Meta Local Search Framework For Minimum Vertex Cover (MinVC)
☆10Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for MetaVC
- just checking☆13Updated 2 years ago
- Must-read papers on Graph Neural Networks (GNNs) for Integrated Circuits (ICs) design, security and reliability. This collection of paper…☆39Updated last year
- Hypergraph Partitioning: benchmarks, evaluators, best known solutions and codes☆58Updated 2 weeks ago
- Maximum independent sets and vertex covers of large sparse graphs.☆70Updated this week
- GNN-RE datasets for circuit recognition☆38Updated last year
- ☆49Updated 3 years ago
- ☆25Updated 4 years ago
- ☆27Updated 11 months ago
- A Simple CDCL Solver☆26Updated last year
- EPFL logic synthesis benchmarks☆165Updated 2 months ago
- ☆11Updated 6 years ago
- This is an official implementation for "DeepGate: Learning Neural Representations of Logic Gates".☆19Updated last year
- Simple Python interface for ABC☆23Updated last year
- ☆35Updated 10 months ago
- ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set☆17Updated last year
- Official open source repository for "A Timing Engine Inspired Graph Neural Network Model for Pre-Routing Slack Prediction" (DAC 2022)☆63Updated 2 months ago
- REST, a reinforcement learning framework for constructing rectilinear Steiner Minimum tree (RSMT)☆50Updated 2 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…☆114Updated last month
- A logic synthesis tool☆65Updated 2 years ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Updated last year
- ☆15Updated 3 years ago
- Xplace 2.0: An Extremely Fast, Extensible and Deterministic Placement Framework with Detailed-Routability Optimization☆97Updated 4 months ago
- LOSTIN: Logic Optimization via Spatio-Temporal Information with Hybrid Graph Models☆18Updated 2 years ago
- A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Ve…☆18Updated last month
- Reimplementation of the VLSI placement algorithm: ePlace and ePlace-MS☆19Updated last week
- 🕹 OpenPARF: An Open-Source Placement and Routing Framework for Large-Scale Heterogeneous FPGAs with Deep Learning Toolkit☆115Updated last month
- ☆20Updated last month
- Dr. CU, VLSI Detailed Routing Tool Developed by CUHK☆128Updated last year
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Updated last year
- Re-host of ISCAS89 sequential benchmark circuits in higher level verilog (without "DFF")☆13Updated 2 years ago