Exclusive-nor sum-of-sum逻辑及其最小化研究  

RESEARCH ON EXCLUSIVE-NOR SUM-OF-SUM LOGIC AND ITS MINIMIZATION

作　　者：卜登立[1,2] 胡运全[1] 廖萍[1] 

机构地区：[1]井冈山大学电子与信息工程学院,江西吉安343009 [2]流域生态与地理环境监测国家测绘地理信息局重点实验室,江西吉安343009

出　　处：《井冈山大学学报（自然科学版）》2017年第5期39-45,共7页Journal of Jinggangshan University (Natural Science)

基　　金：国家自然科学基金项目(61640412);流域生态与地理环境监测国家测绘地理信息局重点实验室资助课题(WE2016012);江西省教育厅科技计划项目(GJJ160746)

摘　　要：对DRM(dual Reed-Muller)逻辑的非标准形表示形式和之同或和(exclusive-nor sum-of-sum,ENSOS)进行研究,并给出一种启发式的ENSOS逻辑最小化算法。该算法采用立方体覆盖表示ENSOS,对立方体迭代应用XNOR连接运算实现ENSOS逻辑的化简。为在算法结果质量与算法效率之间进行折中,该算法在进行立方体的XNOR连接时采用前瞻和回溯策略。使用基准函数进行验证的实验结果表明,所提出的算法能够获得更为精简的逻辑表达式。Focusing on exclusive-nor sum-of-sum （ENSOS）, the non-canonical form of dual Reed-Muller （DRM） logic, a heuristic ENSOS minimization algorithm which uses cubes cover to represent ENSOS and minimizes ENSOS by iteratively applying XNOR-link on cubes is proposed. In order for trading off between the quality of resulted ENSOS and algorithm efficiency, the proposed algorithm utilizes look-ahead and back-trace strategy when performing XNOR-link on cubes. Experimental results by using a set of benchmark functions show that the proposed algorithm can obtain more compact logic expressions.

关 键 词：DRM(Dual Reed-Muller)逻辑 ENSOS(exclusive-nor sum-of-sum)逻辑 逻辑最小化 XNOR连接 

分 类 号：TP391.72[自动化与计算机技术—计算机应用技术] TP331.2[自动化与计算机技术—计算机科学与技术]