基于乘积项的双逻辑实现探测算法  

Algorithms for Detecting Dual Logic Based on Product Term

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

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

出　　处：《电子学报》2009年第5期961-965,共5页Acta Electronica Sinica

基　　金：国家自然科学基金(No.60676017);浙江省自然科学基金(No.Y106818);国家教育部留学回国基金;浙江省科技厅项目(No.2007C24017);宁波市科技局项目(No.2006A610091)

摘　　要：在基于函数最小项的双逻辑探测算法中,由于函数最小项个数将随着变量数的增加而急剧增大,使得算法因时间或空间的占用过大而失效.为此,本文提出了基于函数最简项的快速探测算法,弥补了其缺陷.由于基于最小项和最简项的探测算法所适用的函数范围都有一定的局限性,因此进一步提出了将两种算法综合运用的策略,可有效改进探测效果.经MCNC Benchmark上电路的判定测试,验证了其有效性.In the dual logic detecting algorithm which based on miniterms,the exponential expansion of minterms makes the minterms based algorithm work slowly and exhausts the memory. To accelerate the detection speed for the large functions, we proposed a novel detecting algorithm which based on cubes. Furthermore a strategy of mixed using of cube based detection and minterm based detection is proposed to get a good result. The experimental results on NCMC benchmark prove our algorithm and strategy effectiveness.

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

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