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

作     者：王玉花 王伦耀 夏银水 Wang Yuhua;Wang Lunyao;Xia Yinshui

作者机构：宁波大学信息科学与工程学院宁波315211 

基　　金：国家自然科学基金重点项目(61131001) 国家自然科学基金(61228105 61471211) 宁波市自然科学基金(2013A610009) 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2014年第26卷第11期

页      码：2091-2098页

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

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

学科分类：1305[艺术学-设计学类] 13[艺术学] 08[工学] 080203[080203] 081304[081304] 0802[工学-机械学] 0813[工学-化工与制药类] 080201[080201] 

核心收录：

馆 藏 号：203227972...