一种数字电路逻辑函数的最佳蕴含逻辑表示方法

摘要

本发明公开的数字电路逻辑函数的最佳蕴含逻辑表示方法，首先根据定义的布尔变量来描述蕴含逻辑中的约束条件，得到以合取范式CNF表示的约束文件，设置不同的实质蕴含逻辑操作数，编码得到CNF约束文件，再将CNF约束文件传送给SAT求解器，直到SAT求解器找到满足约束条件的布尔变量赋值并返回代表最优解的结果SAT，从而确保找到数字电路逻辑函数的最佳蕴含逻辑表示形式。本发明方法在所有的三输入数字电路逻辑函数中，优化了74个函数。本发明方法能够有效降低以实质蕴含为基本运算集的逻辑图形结构中结点的数目，当被运用于忆阻器电路中时，可减少忆阻器的数目，降低忆阻器电路的设计成本，同时丰富逻辑综合中实质蕴含逻辑的研究方法。