| 主权项 |
1.一种数字组合逻辑电路功能等效检测方法，其特征在于被比较的二个组合电路对应的逻辑函数定义为f<sub>1</sub>和f<sub>2</sub>，C<sub>1</sub>为f<sub>1</sub>的乘积项的集合，C<sub>2</sub>为f<sub>2</sub>的乘积项的集合；用符号“<img file="FDA00003018705100011.GIF" wi="52" he="50" />”表示乘积项集合C<sub>1</sub>和C<sub>2</sub>之间的互斥运算，且互斥运算可以表示为<img file="FDA00003018705100012.GIF" wi="473" he="65" />用符号“<img file="FDA00003018705100013.GIF" wi="70" he="52" />”表示一个乘积项集合C内部各个乘积项之间双锐积运算，其运算结果可以表示为<img file="FDA00003018705100014.GIF" wi="588" he="120" />其中p<sub>i</sub>,p<sub>j</sub>为属于C的任意二个乘积项，运算符号“Θ”表示公知的乘积项“不相交锐积”运算；本发明的具体步骤为：步骤A.定义四个集合C<sub>on1</sub>，C<sub>on2</sub>，C<sub>df1</sub>和C<sub>df2</sub>，并令它们初始值为空集；步骤B.判断逻辑函数f<sub>1</sub>，f<sub>2</sub>实现形式，并做出如下不同处理，（1）如果只有f<sub>1</sub>采用“与/异或”实现形式，则令<img file="FDA00003018705100015.GIF" wi="233" he="70" />C<sub>on2</sub>=C<sub>2</sub>；（2）如果只有f<sub>2</sub>采用“与/异或”实现形式，则令C<sub>on1</sub>=C<sub>1</sub>，<img file="FDA00003018705100016.GIF" wi="244" he="69" />（3）如果f<sub>1</sub>和f<sub>2</sub>都采用“与/异或”实现形式，则令<img file="FDA00003018705100017.GIF" wi="235" he="70" /><img file="FDA00003018705100018.GIF" wi="244" he="68" />（4）如果f<sub>1</sub>和f<sub>2</sub>都采用“与/或”实现形式，则令C<sub>on1</sub>=C<sub>1</sub>，C<sub>on2</sub>=C<sub>2</sub>；步骤C.进行如下运算<maths num="0001"><![CDATA[<math><mrow><msub><mi>C</mi><mrow><mi>df</mi><mn>1</mn></mrow></msub><mo>=</mo><msub><mi>C</mi><mrow><mi>on</mi><mn>1</mn></mrow></msub><mo>⊗</mo><msub><mi>C</mi><mrow><mi>on</mi><mn>2</mn></mrow></msub><mo>,</mo></mrow></math>]]></maths><maths num="0002"><![CDATA[<math><mrow><msub><mi>C</mi><mrow><mi>df</mi><mn>2</mn></mrow></msub><mo>=</mo><msub><mi>C</mi><mrow><mi>on</mi><mn>2</mn></mrow></msub><mo>⊗</mo><msub><mi>C</mi><mrow><mi>on</mi><mn>1</mn></mrow></msub><mo>;</mo></mrow></math>]]></maths>步骤D.若<img file="FDA000030187051000111.GIF" wi="178" he="71" />且<img file="FDA000030187051000112.GIF" wi="212" he="71" />则函数f<sub>1</sub>与f<sub>2</sub>等效；否则表示函数f<sub>1</sub>与f<sub>2</sub>不等效。 |
