基于半张量积的逻辑综合研究进展  

Research Progress in Logic Synthesis Based on Semi-Tensor Product

作　　者：储著飞[1] 马铖昱 闫鸣 潘家祥 潘鸿洋 王伦耀[1] 夏银水[1] CHU Zhufei;MA Chengyu;YAN Ming;PAN Jiaxiang;PAN Hongyang;WANG Lunyao;XIA Yinshui(Faculty of Electrical Engineering and Computer Science(EECS),Ningbo University,Ningbo 315211,China;School of Microelectronics,Fudan University,Shanghai 200433,China)

机构地区：[1]宁波大学信息科学与工程学院,宁波315211 [2]复旦大学微电子学院,上海200433

出　　处：《电子与信息学报》2024年第9期3490-3502,共13页Journal of Electronics & Information Technology

基　　金：国家自然科学基金(62274100,U23A20351);浙江省重点研发计划(2024C01111);宁波市重点研发计划(2023Z071)。

摘　　要：逻辑综合在现代电子设计自动化流程中扮演着至关重要的角色。随着计算能力的不断增强以及新的计算范式的涌现,各种高效的布尔可满足性(SAT)求解器和电路仿真器(Simulator)得以开发,并在逻辑综合的领域取得了显著的应用。该文首先对布尔可满足性问题和电路逻辑仿真器进行了简要介绍;其次回顾了矩阵半张量积的发展历程,并根据半张量积的基本原理深入阐述了其在推理引擎和逻辑综合方面的研究进展;最后,对未来可能对逻辑综合产生重大影响的新技术进行了展望。Logic synthesis plays a crucial role in the modern electronic design automation process.With the continuous enhancement of computational capabilities and the emergence of new computing paradigms,various efficient Boolean SATisfiability(SAT)solvers and circuit simulators have been developed and applied in the context of logic synthesis.First,the overview of the Boolean Satisfiability problem and circuit logic simulator is briefly described.Subsequently,the historical development of the matrix semi-tensor product is reviewed,and based on the fundamental principles of the semi-tensor product,its research progress in inference engines and logic synthesis is expounded.Finally,a prospective analysis is conducted on emerging technologies that may significantly impact logic synthesis in the future.

关 键 词：逻辑综合 逻辑优化 推理引擎 半张量积 

分 类 号：TN47[电子电信—微电子学与固体电子学]