摘要
对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.
出处
《井冈山大学学报(自然科学版)》
2017年第5期39-45,共7页
Journal of Jinggangshan University (Natural Science)
基金
国家自然科学基金项目(61640412)
流域生态与地理环境监测国家测绘地理信息局重点实验室资助课题(WE2016012)
江西省教育厅科技计划项目(GJJ160746)