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

Detection Algorithm for Logic Functions to Benefit from Dual Logic Implementation

作　　者：夏银水[1] 毛科益[1] 叶锡恩[1] 

机构地区：[1]宁波大学电路与系统研究所,宁波315211

出　　处：《计算机辅助设计与图形学学报》2007年第12期1522-1527,共6页Journal of Computer-Aided Design & Computer Graphics

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

摘　　要：提出一种判定逻辑函数是否适于双逻辑实现的探测算法,直接从XOR逻辑的特点出发,即2个汉明距离为2的最小项可以由XOR逻辑表示.通过计算函数最小项之间的汉明距离分析其所具有的逻辑模式,给出探测适用于双逻辑实现的判断条件.该算法已用C语言实现,并应用于MCNC benchmark电路的判定测试,实验结果验证了其有效性.This paper presents an algorithm to detect whether logic functions is beneficial from implementing by dual logic. The proposed algorithm is based on the characteristics of XOR logic, that is, two minimum-terms having Hamming distance 2 can be expressed by XOR operation. With calculating the Hamming distance between two minimum-terms and analyzing the logic mode of functions, a detection condition was developed. The proposed algorithm has been implemented in C and tested on MCNC benchmarks. The experimental results show that the proposed algorithm is efficient.

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

分 类 号：TN432[电子电信—微电子学与固体电子学] TP331[自动化与计算机技术—计算机系统结构]