Skip to content

LevelSyn: Physical-Aware Logic Synthesis via Level-Asynchronous Graph Neural Networks

Sep 2026 · 0 citations · 36 references
Computer Science

TL;DR

LevelSyn is a novel physical-aware logic synthesis framework that integrates hierarchical representation learning with a wirelength-driven optimization engine that significantly outperforms state-of-the-art methods on the EPFL benchmark suite.

Abstract

As integrated circuit technology scales into the nanometer regime, the traditional disconnect between logic synthesis and physical design has led to significant PPA (Power, Performance, and Area) degradation and prolonged design closure cycles. Traditional logic synthesis relies on non-physical Wire Load Models (WLMs), while recent spectral-based placement predictors often neglect the inherent hierarchical logic depth and signal flow of netlists, which leads to low-fidelity spatial estimations. To bridge this gap, we propose LevelSyn, a novel physical-aware logic synthesis framework that integrates hierarchical representation learning with a wirelength-driven optimization engine. At its core, LevelSyn leverages a level-asynchronous Graph Neural Network (GNN) to predict high-fidelity gate coordinates by capturing the structural and directional semantics of And-Inverter Graphs (AIGs). To handle industrial-scale designs, a level-aligned subgraph partitioning strategy is introduced to eliminate memory bottlenecks while preserving local logical dependencies. These spatial insights are seamlessly integrated into a newly developed physical-informed synthesis engine within the Berkeley ABC framework. Experimental results on the EPFL benchmark suite demonstrate that LevelSyn significantly outperforms state-of-the-art (SOTA) methods, achieving an average power reduction of 6.89\% and a timing delay improvement of 27.48\%. Furthermore, post-place-and-route validation shows a 99.59\% reduction in design rule check (DRC) violations, highlighting its effectiveness in accelerating design convergence.

View source

Similar papers

#artificial intelligence Preprint Aug 2026

Beyond Flat Netlist: Hierarchical Graph Representation Learning for Scalable Analysis of Sequential Circuits

DeepSeq3 is introduced, a novel hierarchical framework that abstracts circuits into a two-level representation: fine-grained combinational subgraphs partitioned by flip-flops (FFs) and a high-level Super-Node Graph (SNG) that models the register-transfer structure.

Jing-Yi Zhou, Zhengyuan Shi, Jiaying Zhu et al. · 0 citations
Conference Aug 2026

Function-Aware VLSI Partitioning for GNN-Based Hardware Trojan Detection

Graph neural networks (GNNs) have shown strong potential for gate-level hardware Trojan detection, yet scalability remains a fundamental challenge. As integrated circuits grow in scale, existing GNN-based methods suffer from limited scalability and reduced discriminative power due to inherent constraints of message pas...

Ju-Yang Ye, Qi-Lin Chen, Yao-Hua Wang et al. · 0 citations
Conference Open access Sep 2026

ACCFormer: Predicting Analog Circuit Performance Metrics via Topology-Aware Transformers

Reusing and migrating analog circuit intellectual property (IP) across process nodes poses a significant challenge in modern chip design. Efficient and generalizable circuit performance prediction methods for analog circuits are crucial to achieving this goal. Current data-driven approaches typically rely on manually d...

Bo-Wen Liao, Yu-Tong Feng, Jian-Hua Lin et al. · 0 citations
Preprint Sep 2026

E-ALS: Approximation-Potential-Aware E-Graph Rewriting for Approximate Logic Synthesis

E-ALS is proposed, an e-graph-based framework for approximation-aware structural search that combines Function-Reduced Saturation, an ALS-coupled surrogate, search-based extraction, and budget-guided refinement to identify approximation-friendly equivalent structures.

Bin Sun, Jia-Nan Mu, Jia-Xi Zhang et al. · 0 citations
Preprint Aug 2026

RENESIS: Energy-Aware Synthesis of Adiabatic Logic from Irreversible Netlists

We describe Renesis, an automated synthesis tool that accepts an ordinary irreversible netlist and produces a verified, technology-mapped energy-recovery (adiabatic) circuit, using energy rather than area or delay as the optimization criterion. Renesis models the netlist with a vector-space formulation that expresses s...

Mitchell A. Thornton · 0 citations
Preprint Oct 2026

Overcoming Kernel Redundancy for Scaling Logic Gate Networks

Differentiable logic gate networks, which operate using only logic gates, have recently attracted attention as an efficient alternative to conventional neural networks. However, despite their efficiency, the scaling behavior of logic gate networks remains underexplored. By contrast, scaling model capacity is a central...

Sejin Park, Hongjae Lee, Chang-Woo Han et al. · 0 citations

Related blog posts

MIT News · Artificial Intelligence Sep 29, 2026

Who we become when we talk to machines

Professor Sherry Turkle’s new book, “Artificial Intimacy,” offers a withering critique of chatbots and the antisocial dynamics she believes they encourage.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.