大电路固定极性Reed-Muller逻辑快速转换算法

摘要：

针对已有的列表技术在极性转换中只能解决中小规模电路的问题，提出一种基于不相交乘积项列表技术的快速转换算法。首先将待处理的逻辑函数表示为不相交乘积项之和形式；然后通过对已有的基于最大项的列表技术进行分析和改进，使得改进后的列表技术可以实现将逻辑函数从不相交乘积项的AND/OR形式向固定极性XNOR/OR形式的Reed‐Muller逻辑转化。文中算法用C编程实现，并用MCNC标准电路进行测试。实验结果表明，该算法可以快速实现大电路的极性转换，并且具有运算速度对电路的输入变量数不敏感的特点。

关键词：Reed-Muller逻辑、固定极性、极性转换、不相交乘积项、逻辑综合

分类号：TP391.72(计算技术、计算机技术)

资助基金：国家自然科学基金重点项目61131001；国家自然科学基金61228105，61471211；宁波市自然科学基金2013A610009．

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

页数：共8页

页码：2091-2098