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

摘要：

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

关键词：布尔逻辑、Reed-Muller逻辑、汉明距离、探测算法

所属期刊栏目：19

分类号：TN432;TP331(微电子学、集成电路（IC）)

资助基金：国家自然科学基金60676017;浙江省自然科学基金R105614;浙江省自然科学基金Y106818;浙江省宁波市自然科学基金2006A610091;浙江省新苗人才计划项目2007G60G2070049

在线出版日期：2008-05-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1522-1527