基于多数覆盖的二级MPRM函数逻辑优化  

Two-level MPRM Functions Optimization Based on Majority Cubes

作　　者：王伦耀[1,2] 夏银水[2] 陈偕雄[1] 

机构地区：[1]浙江大学信电系,杭州310027 [2]宁波大学信息科学与工程学院,宁波315211

出　　处：《电子与信息学报》2012年第4期986-991,共6页Journal of Electronics & Information Technology

基　　金：国家自然科学基金(60871022;61041001;61131001);宁波市自然科学基金(2101A610183)资助课题

摘　　要：利用不相交乘积项之间逻辑"或"和逻辑"异或"可以互换的特性,该文将原逻辑函数转化成由不相交乘积项组成的二级混合极性Reed-Muller(MPRM)函数。然后通过搜索不相交乘积项的多数覆盖和检测乘积项间的位操作结果,实现了二级MPRM函数的优化。另外,该文还提出一种基于逻辑覆盖的功能验证方法也被提出用于验证逻辑函数优化前后逻辑功能的等效性。实验显示,与已发表的方法相比,该文的优化算法在保证优化效果的同时使运算速度获得了明显的改进。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.

关 键 词：数字逻辑电路 Reed-Muller逻辑 混合极性 逻辑优化 逻辑最小化 

分 类 号：TN791[电子电信—电路与系统]