电子学报 ›› 2018, Vol. 46 ›› Issue (5): 1101-1106.DOI: 10.3969/j.issn.0372-2112.2018.05.012

• 学术论文 • 上一篇    下一篇

大函数ISFPRM面积优化方法

瞿婷, 王伦耀, 罗文强, 夏银水   

  1. 宁波大学信息科学与工程学院, 浙江宁波 315211
  • 收稿日期:2017-03-27 修回日期:2017-07-06 出版日期:2018-05-25 发布日期:2018-05-25
  • 作者简介:瞿婷 女,1992年生于贵州铜仁,现为宁波大学硕士研究生.主要的研究方向为RM逻辑的混合极性综合.E-mail:quting_qt@163.com;王伦耀 男,1972年生于浙江宁波,博士,教授.主要的研究方向为Reed-Muller逻辑以及基于Reed-Muller逻辑与传统布尔逻辑的双逻辑综合与优化.E-mail:wanglunyao@nbu.edu.cn
  • 基金资助:
    国家自然科学基金(No.61471211);国家自然科学基金重点项目(No.61131001)

A Novel Method For Large ISPFRM Function Optimization

QU Ting, WANG Lun-yao, LUO Wen-qiang, XIA Yin-shui   

  1. School of Information Science and Engineering, Ningbo University, Ningbo, Zhejiang 315211, China
  • Received:2017-03-27 Revised:2017-07-06 Online:2018-05-25 Published:2018-05-25

摘要: 针对以往在ISFPRM优化过程中只能处理小规模电路的不足,提出了一种新的乘积项十进制表示和处理方法来实现大电路ISFPRM面积优化.具体包括:ISFPRM多位变量的十进制数表示,基于二进制插值的极性转换方法,以及基于整数的位运算遗传算法实现ISFPRM面积优化.提出的算法能有效地避免以往算法在处理输入较多的函数时效率低下甚至无法工作的情况,算法的性能用MCNC标准电路作为测试.实验结果表明,提出的算法可以处理输入变量个数为199个的大电路,算法的速度对待处理电路的变量数不敏感特点,引入不确定项后,电路面积优化明显.

关键词: 不完全确定RM电路, 二进制插值, 位运算, GA算法

Abstract: In view of the problems of the published methods of the ISPFRM functions optimization which couldn't deal with large functions,a novel method for large ISPFRM function optimization was proposed which consists of the representation of product term in integer form,the polarity conversion method using the binary interpolation,and the circuit area optimization of ISFPRM using the bit-wise operation and the genetic algorithm.The proposed algorithm could deal with those functions with large inputs effectively,and has been implemented in C and tested under MCNC benchmarks.The experimental results show that it can deal with the large function with 199 inputs,and the speed of the algorithm is not sensitive to the functions' polarity.After the introduction of DC terms,the circuit area is further optimized.

Key words: ISFPRM(Incompletely Specified Fixed Polarity Reed-Muller), binary interpolation, bit operation, genetic algorithm

中图分类号: