逻辑函数适于双逻辑实现的探测算法
Detection Algorithm for Logic Functions to Benefit from Dual Logic Implementation作者机构：宁波大学电路与系统研究所宁波315211
出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)
年 卷 期：2007年第19卷第12期
页 面：1522-1527页
核心收录：
学科分类：080903[工学-微电子学与固体电子学] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金(60676017) 浙江省自然科学基金人才专项(R105614) 浙江省自然科学基金(Y106818) 宁波市自然科学基金(2006A610091) 浙江省新苗人才计划项目(2007G60G2070049)
主 题：布尔逻辑 Reed-Muller逻辑 汉明距离 探测算法
摘 要：提出一种判定逻辑函数是否适于双逻辑实现的探测算法,直接从XOR逻辑的特点出发,即2个汉明距离为2的最小项可以由XOR逻辑表示.通过计算函数最小项之间的汉明距离分析其所具有的逻辑模式,给出探测适用于双逻辑实现的判断条件.该算法已用C语言实现,并应用于MCNC benchmark电路的判定测试,实验结果验证了其有效性.
维普期刊数据库
同方期刊数据库