双逻辑函数的探测算法

本文提出一种双逻辑函数的探测算法。该算法直接从XOR逻辑的特点出发，即两个汉明距离为2的最小项可以由XOR逻辑表示。通过计算函数最小项之间的汉明距离，并分析其所具有的逻辑模式，给出用于探测适于双逻辑实现的判断条件。所提出的算法用C语言实现，结果应用于MCNCbenchmark上电路的判定测试，验证了算法的有效性。