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

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

对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.