基于布尔可满足性的精确逻辑综合综述

来源：电子与信息学报杂志2023年第1期北京时间：

作者：储著飞, 潘鸿洋

单位：宁波大学信息科学与工程学院 宁波 315211

摘要：逻辑综合是电子设计自动化(EDA)的重要步骤，随着算力逐渐提升和新的计算范式不断涌现，传统基于全局启发式算法的逻辑综合面临新的挑战。启发式算法面临的主要问题是得到一个次优解，随着算力的提升，逻辑优化越来越追求精确解而不满足于次优解。该文首先简述逻辑函数表达方法和布尔可满足性(SAT)问题；其次针对精确综合的算法、编码等方面介绍了在布尔逻辑网络的面积优化和深度优化方面的精确综合研究进展；最后对精确综合的未来发展趋势进行讨论。

关键词：逻辑综合, 精确综合, 布尔可满足性, 多数逻辑门

基金资助：国家自然科学基金(61871242)，专用集成电路与系统国家重点实验室开放研究课题基金(2021KF008)