卜登立,胡运全,廖萍.Exclusive-nor sum-of-sum逻辑及其最小化研究[J].井冈山大学自然版,2017,(5):39-45 |
Exclusive-nor sum-of-sum逻辑及其最小化研究 |
RESEARCH ON EXCLUSIVE-NOR SUM-OF-SUM LOGIC AND ITS MINIMIZATION |
投稿时间:2017-05-11 修订日期:2017-08-03 |
DOI:10.3969/j.issn.1674-8085.2017.05.009 |
中文关键词: DRM (Dual Reed-Muller)逻辑 ENSOS (exclusive-nor sum-of-sum)逻辑 逻辑最小化 XNOR连接 |
英文关键词: dual Reed-Muller (DRM) logic exclusive-nor sum-of-sum (ENSOS) logic logic minimization XNOR-link |
基金项目:国家自然科学基金项目(61640412);流域生态与地理环境监测国家测绘地理信息局重点实验室资助课题(WE2016012);江西省教育厅科技计划项目(GJJ160746). |
|
摘要点击次数: 1968 |
全文下载次数: 2339 |
中文摘要: |
对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. |
查看全文
查看/发表评论 下载PDF阅读器 |
关闭 |