Two-level MPRM Functions Optimization Based on Majority Cubes
-
摘要: 利用不相交乘积项之间逻辑或和逻辑异或可以互换的特性,该文将原逻辑函数转化成由不相交乘积项组成的二级混合极性Reed-Muller (MPRM)函数。然后通过搜索不相交乘积项的多数覆盖和检测乘积项间的位操作结果,实现了二级MPRM函数的优化。另外,该文还提出一种基于逻辑覆盖的功能验证方法也被提出用于验证逻辑函数优化前后逻辑功能的等效性。实验显示,与已发表的方法相比,该文的优化算法在保证优化效果的同时使运算速度获得了明显的改进。
-
关键词:
- 数字逻辑电路 /
- Reed-Muller逻辑 /
- 混合极性 /
- 逻辑优化 /
- 逻辑最小化
Abstract: Based on the property of the disjointed cubes that the logic operators OR and EXOR can replace each other, an algorithm of two level Mixed-Polarity Reed-Muller (MPRM) optimization is proposed. In the algorithm, by searching and decomposing the majority cubes of these disjointed cubes and replacing them with more compacted and less cubes, a minimized MPRM function is obtained. Further, an efficient approach for logic verification based on logic covers is also presented to check whether two functions are equal or not after logic minimization. The proposed algorithm is implemented in C and tested on MCNC benchmarks. Experimental results show that the proposed method can offer a compacted MPRM expression efficiently in contrast to the reported methods.-
Key words:
- Digital logic circuit /
- Reed-Muller logic /
- Mixed polarity /
- Logic optimization /
- Logic minimization
计量
- 文章访问数: 2595
- HTML全文浏览量: 133
- PDF下载量: 666
- 被引次数: 0