[发明专利]一种数字组合逻辑电路功能等效检测方法

摘要

本发明公开了一种数字组合逻辑电路逻辑功能等效性检测方法，通过利用待检测的二个数字组合逻辑电路对应的逻辑函数乘积项集合的互斥运算和乘积项集合内部各个乘积项之间双锐积运算，实现了对二个电路乘积项集合是否相等的检测，从而实现了二个数字组合逻辑电路逻辑功能是否等效的判断。

主权项

1.一种数字组合逻辑电路功能等效检测方法，其特征在于被比较的二个组合电路对应的逻辑函数定义为f₁和f₂，C₁为f₁的乘积项的集合，C₂为f₂的乘积项的集合；用符号“”表示乘积项集合C₁和C₂之间的互斥运算，且互斥运算可以表示为用符号“”表示一个乘积项集合C内部各个乘积项之间双锐积运算，其运算结果可以表示为其中p_i,p_j为属于C的任意二个乘积项，运算符号“Θ”表示公知的乘积项“不相交锐积”运算；本发明的具体步骤为：步骤A.定义四个集合C_on1，C_on2，C_df1和C_df2，并令它们初始值为空集；步骤B.判断逻辑函数f₁，f₂实现形式，并做出如下不同处理，（1）如果只有f₁采用“与/异或”实现形式，则令C_on2=C₂；（2）如果只有f₂采用“与/异或”实现形式，则令C_on1=C₁，（3）如果f₁和f₂都采用“与/异或”实现形式，则令（4）如果f₁和f₂都采用“与/或”实现形式，则令C_on1=C₁，C_on2=C₂；步骤C.进行如下运算Cdf1=Con1⊗Con2,]]>Cdf2=Con2⊗Con1;]]>步骤D.若且则函数f₁与f₂等效；否则表示函数f₁与f₂不等效。