Modeling Relational Logic Circuits for And-Inverter Graph Convolutional Network

TL;DR

This paper introduces AIGer, a novel model that effectively captures both functional and structural features of AIGs for digital circuit analysis, significantly improving prediction accuracy in logic circuit tasks.

Contribution

AIGer uniquely combines node logic feature embedding with a heterogeneous graph convolutional network to jointly model AIG structure and function, enhancing dynamic information propagation.

Findings

AIGer outperforms existing models in Signal Probability Prediction tasks.

AIGer achieves significant MAE and MSE improvements in Truth Table Distance Prediction.

The model effectively captures complex AIG structural and functional characteristics.

Abstract

The automation of logic circuit design enhances chip performance, energy efficiency, and reliability, and is widely applied in the field of Electronic Design Automation (EDA).And-Inverter Graphs (AIGs) efficiently represent, optimize, and verify the functional characteristics of digital circuits, enhancing the efficiency of EDA development.Due to the complex structure and large scale of nodes in real-world AIGs, accurate modeling is challenging, leading to existing work lacking the ability to jointly model functional and structural characteristics, as well as insufficient dynamic information propagation capability.To address the aforementioned challenges, we propose AIGer.Specifically, AIGer consists of two components: 1) Node logic feature initialization embedding component and 2) AIGs feature learning network component.The node logic feature initialization embedding component projects logic nodes, such as AND and NOT, into independent semantic spaces, to enable effective node embedding for subsequent processing.Building upon this, the AIGs feature learning network component employs a heterogeneous graph convolutional network, designing dynamic relationship weight matrices and differentiated information aggregation approaches to better represent the original structure and information of AIGs.The combination of these two components enhances AIGer's ability to jointly model functional and structural characteristics and improves its message passing capability. Experimental results indicate that AIGer outperforms the current best models in the Signal Probability Prediction (SSP) task, improving MAE and MSE by 18.95\% and 44.44\%, respectively. In the Truth Table Distance Prediction (TTDP) task, AIGer achieves improvements of 33.57\% and 14.79\% in MAE and MSE, respectively, compared to the best-performing models.