atlas

Research map / Graph learning / GNN architectures

DeepGate4: Efficient and Effective Representation Learning for Circuit Design at Scale

ICLR 2025 · Graph learning › GNN architectures · approach: Physics-inspired GNNs · 0 citations (OpenAlex)

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

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Use DeepGate4 instead of DeepGate3†Circuit representation learning · ITC99L_all: 3.73 ± 0.148 -> 3.16 ± 0.076Helped
Use DeepGate4 instead of Exphormer†Circuit representation learning · EPFL Random ControlL_all: 6.43 ± 0.577 -> 4.43 ± 0.577Helped
Add Fused inference optimization (ablation)DeepGate4 · ITC99inference time: 2.496 -> 1.463Helped
Add Fused inference optimization (ablation)DeepGate4 · EPFL Random Controlinference memory: 130 -> 91Helped
Add marking of overlapping nodes between cones (ablation)DeepGate4 · ITC99inference time: 3.9223 -> 2.496Helped
Add partitioning (ablation)DeepGate4 · ITC99 and EPFL Random Controlmemory feasibilityHelped
Add loss balancer and structural encoding (ablation)DeepGate4 · ITC99L_all: 3.47 ± 0.070 -> 3.16 ± 0.076Helped
Add loss balancer and structural encoding (ablation)DeepGate4 · EPFL Random ControlL_all: 4.77 ± 0.850 -> 4.43 ± 0.577Helped
Set cone depth k=8 and stride δ=8 instead of k=8, δ=6 (ablation)DeepGate4 partitioning · ITC99L_all: 3.1646 ± 0.0761 -> 2.9168 ± 0.0639Helped
Increase cone depth to k=10 (δ=8) (ablation)DeepGate4 partitioning · ITC99Train Mem.: 12.62GB -> 33.90GBHurt
Increase cone depth to k=10 (δ=8) (ablation)DeepGate4 partitioning · ITC99L_stru: 2.6783 ± 0.0739 -> 3.2055 ± 0.0747Hurt
Use DeepGate4 instead of PNALogic Equivalence Checking · ITC99AP: 0.20 -> 0.31Helped

Surprising findings

Limitations

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

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.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy