基于乘积项互斥运算的FPRM转换方法

摘要：

针对目前将逻辑函数从AND/OR形式转化成固定极性Reed-Muller(FPRM)过程中存在的不足,通过引入乘积项关于极性的位互斥运算,该文提出一种基于乘积项互斥运算的FPRM转换方法.该方法只需要对互斥运算后的乘积项进行展开,就可以得到对应极性下的FPRM的表示形式,省去了列表法中相同乘积项的搜索和删除过程.提出的算法用C语言编程实现,并用MCNC标准电路进行测试.实验结果表明所提算法在处理输入变量个数较大的电路时运算速度更快,并且算法对待处理电路的极性不敏感.

关键词：Reed-Muller(RM)逻辑、固定极性、乘积项互斥运算、极性转换

所属期刊栏目：24

分类号：TP331.2(计算技术、计算机技术)

资助基金：国家自然科学基金61471211

在线出版日期：2016-02-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：17-22