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

Research Progress in Logic Synthesis Based on Semi-Tensor Product

逻辑综合在现代电子设计自动化流程中扮演着至关重要的角色。随着计算能力的不断增强以及新的计算范式的涌现,各种高效的布尔可满足性(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.