文章预览
近日，北邮GAMMA LAB实验室的一篇论文被ICCAD会议（IEEE/ACM International Conference on Computer-Aided Design）接收。ICCAD是电路设计自动化领域的四大国际学术会议之一，与DAC、DATE和ASP-DAC并称。此次ICCAD会议将于2024年10月27日至10月31日在美国新泽西举行。 下面是论文介绍： 1 题目： PolarGate: Breaking the
Functionality Representation Bottleneck of And-Inverter Graph Neural Network 作者： Jiawei Liu, Jianwang Zhai, Mingyu
Zhao, Zhe Lin, Bei Yu, Chuan Shi. 摘要 ：理解布尔网络的功能对于诸如功能等价性检查、逻辑综合和恶意逻辑识别等过程至关重要。随着深度学习在电子设计自动化（ EDA ）中的普及，图神经网络（ GNN ）被广泛用于嵌入与非图（ AIG ），这是布尔网络的标准形式。使用 GNN 进行布尔表示的一个关键挑战是，尽管 GNN 能够很好地封装 AIG 的结构属性，但它们通常无法完全捕获布尔逻辑
………………………………
