提出AIGer模型,联合建模逻辑电路的功能与结构特性。
Modeling Relational Logic Circuits for And-Inverter Graph Convolutional Network
- 将逻辑门映射到独立语义空间,构建节点初始特征
- 设计动态权重矩阵与差异化聚合,增强信息传递能力
- 在信号概率与真值表距离预测上显著优于现有方法
逻辑电路自动化设计可提升芯片性能、能效与可靠性,广泛应用于电子设计自动化(EDA)。And-Inverter Graphs(AIGs)能高效表示、优化与验证数字电路功能特性,提升EDA开发效率。然而,真实AIGs结构复杂、节点规模大,现有方法难以同时建模功能与结构特征,且动态信息传播能力不足。为此,本文提出AIGer,包含两个组件:1)节点逻辑特征初始化嵌入模块,将AND、NOT等逻辑门映射至独立语义空间,实现有效节点嵌入;2)AIG特征学习网络模块,采用异构图卷积网络,设计动态关系权重矩阵与差异化信息聚合方式,更好保留AIG原始结构与信息。两者结合提升了AIGer对功能与结构特征的联合建模能力及消息传递性能。实验表明,在信号概率预测(SSP)任务中,AIGer相比当前最优模型,MAE降低18.95%,MSE降低44.44%;在真值表距离预测(TTDP)任务中,MAE与MSE分别提升33.57%和14.79%。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。