Research map / Graph learning / GNN architectures
DeepGate4: Efficient and Effective Representation Learning for Circuit Design at Scale
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Proposes DeepGate4, a graph transformer for circuit (AIG) representation learning that uses DAG-aware graph partitioning with level-ordered updating, a GAT-based sparse transformer, and a fused CUDA inference kernel to scale to million-gate circuits.
Problem
Circuit representation learning on large AIGs is limited by GNN over-squashing and the quadratic memory of dense graph transformers, and existing sub-linear GNN training (historical embeddings with random sampling) ignores the causal, level-ordered structure of DAGs.
Approach
Partition AIGs into k-depth logic cones and encode them level by level with intra-level and inter-level historical-embedding updates so each gate is computed once; replace multi-head attention with GAT over virtual cone edges plus global/local structural encodings, and add a gradient-based multi-task loss balancer and a fused CUDA kernel exploiting AIG in-degree sparsity.
Key results
- DeepGate4 reports overall loss L_all of 3.16 on ITC99 vs 3.73 for DeepGate3-dagger, and reduces overall loss by 15.5% (ITC99) and 31.1% (EPFL) over the second-best method.
- Fused-DeepGate4 reduces inference time by 35.1% and memory by 46.8% relative to DeepGate4 on average.
- DeepGate4 trained on ~15K-gate average circuits generalizes to a 402K-gate Image_Processing design with stable performance, and its memory stays constant beyond a certain circuit size while GNN memory grows linearly.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Use DeepGate4 instead of DeepGate3† | Circuit representation learning · ITC99 | L_all: 3.73 ± 0.148 -> 3.16 ± 0.076 | Helped |
| Use DeepGate4 instead of Exphormer† | Circuit representation learning · EPFL Random Control | L_all: 6.43 ± 0.577 -> 4.43 ± 0.577 | Helped |
| Add Fused inference optimization (ablation) | DeepGate4 · ITC99 | inference time: 2.496 -> 1.463 | Helped |
| Add Fused inference optimization (ablation) | DeepGate4 · EPFL Random Control | inference memory: 130 -> 91 | Helped |
| Add marking of overlapping nodes between cones (ablation) | DeepGate4 · ITC99 | inference time: 3.9223 -> 2.496 | Helped |
| Add partitioning (ablation) | DeepGate4 · ITC99 and EPFL Random Control | memory feasibility | Helped |
| Add loss balancer and structural encoding (ablation) | DeepGate4 · ITC99 | L_all: 3.47 ± 0.070 -> 3.16 ± 0.076 | Helped |
| Add loss balancer and structural encoding (ablation) | DeepGate4 · EPFL Random Control | L_all: 4.77 ± 0.850 -> 4.43 ± 0.577 | Helped |
| Set cone depth k=8 and stride δ=8 instead of k=8, δ=6 (ablation) | DeepGate4 partitioning · ITC99 | L_all: 3.1646 ± 0.0761 -> 2.9168 ± 0.0639 | Helped |
| Increase cone depth to k=10 (δ=8) (ablation) | DeepGate4 partitioning · ITC99 | Train Mem.: 12.62GB -> 33.90GB | Hurt |
| Increase cone depth to k=10 (δ=8) (ablation) | DeepGate4 partitioning · ITC99 | L_stru: 2.6783 ± 0.0739 -> 3.2055 ± 0.0747 | Hurt |
| Use DeepGate4 instead of PNA | Logic Equivalence Checking · ITC99 | AP: 0.20 -> 0.31 | Helped |
Surprising findings
- Dense-attention and sparse transformer baselines (GraphGPS, Exphormer, DAGformer) run out of memory on ITC99 without the proposed partitioning, while GNNs use 30-40 GB.
- Larger cone depth k increases memory strongly and degrades structural task performance.
Limitations
- Inference runtime remains slower than GNNs because graph transformers encode cones level by level.
- Structural-task performance depends on cone depth k and overlap stride, with larger k hurting structural losses.
- Some improvements are reported against dagger-modified baselines rather than original implementations.
Experimental setup
Datasets: ITC99 EPFL random control OpenABC-D
Benchmarks: ITC99 EPFL random control OpenABC-D SAT solving (CaDiCaL)
Metrics: multi-task loss L_all gate-level and graph-level task losses connection prediction accuracy inference time (s) memory (MB/GB) average precision PR-AUC SAT solving time
Baselines: GCN GraphSAGE GAT PNA GraphGPS Exphormer DAGformer DeepGate2 DeepGate3 PolarGate HOGA-5
Builds on: DeepGate3 DeepGate2 DAGformer Fused-GAT GNNAutoScale
Closest papers by meaning
- Circuit Representation Learning with Masked Gate Modeling and Verilog-AIG Alignment (ICLR 2025 · similarity 0.90)
- CircuitFusion: Multimodal Circuit Representation Learning for Agile Chip Design (ICLR 2025 · similarity 0.89)
- DeepLayout: Learning Neural Representations of Circuit Placement Layout (ICML 2025 · similarity 0.89)
- Efficient Automated Circuit Discovery in Transformers using Contextual Decomposition (ICLR 2025 · similarity 0.86)
- A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design (ICML 2024 · similarity 0.86)
- AnalogGenie-Lite: Enhancing Scalability and Precision in Circuit Topology Discovery through Lightweight Graph Modeling (ICML 2025 · similarity 0.85)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.
