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

作     者：储飞 马铖昱 闫鸣 潘家祥 潘鸿洋 王伦耀 夏银水 CHU Zhufei;MA Chengyu;YAN Ming;PAN Jiaxiang;PAN Hongyang;WANG Lunyao;XIA Yinshui

作者机构：宁波大学信息科学与工程学院 复旦大学微电子学院 

出 版 物：《电子与信息学报》 (Journal of Electronics & Information Technology)

年 卷 期：2024年第46卷第09期

页      面：3490-3502页

核心收录：

学科分类：080903[工学-微电子学与固体电子学] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 

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

主　　题：逻辑综合 逻辑优化 推理引擎 半张量积 

摘      要：逻辑综合在现代电子设计自动化流程中扮演着至关重要的角色。随着计算能力的不断增强以及新的计算范式的涌现，各种高效的布尔可满足性(SAT)求解器和电路仿真器(Simulator)得以开发，并在逻辑综合的领域取得了显著的应用。该文首先对布尔可满足性问题和电路逻辑仿真器进行了简要介绍；其次回顾了矩阵半张量积的发展历程，并根据半张量积的基本原理深入阐述了其在推理引擎和逻辑综合方面的研究进展；最后，对未来可能对逻辑综合产生重大影响的新技术进行了展望。