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

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

基于多逻辑域的逻辑综合研究进展

逻辑综合是集成电路设计自动化的重要步骤,随着集成电路规模的指数级增长和新的计算范式不断涌现,传统基于单逻辑的逻辑综合面临新的挑战。单逻辑域自动综合面临的主要问题是使用场景单一,针对高性能、低能耗、小面积等多应用场景,基于单逻辑域发展而来的工具不能有效解决面向多场景优化的难题。首先简述逻辑函数的表达方法和逻辑优化算法;其次针对多逻辑域的逻辑函数表达、优化和应用3个层面介绍多逻辑域的逻辑综合研究进展;最后对已有的开源逻辑综合工具和逻辑综合的未来发展趋势进行讨论。