逻辑函数适于双逻辑实现的探测算法

作者：夏银水; 毛科益; 叶锡恩布尔逻辑汉明距离探测算法

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社