首页 | 本学科首页   官方微博 | 高级检索  
     

基于真值表变换的可逆逻辑综合算法
引用本文:安博,陈汉武,杨忠明,王冬,李志强. 基于真值表变换的可逆逻辑综合算法[J]. 东南大学学报(自然科学版), 2010, 40(1). DOI: 10.3969/j.issn.1001-0505.2010.01.011
作者姓名:安博  陈汉武  杨忠明  王冬  李志强
作者单位:东南大学计算机科学与工程学院,南京,210096;东南大学计算机科学与工程学院,南京,210096;河南大学计算中心,开封,415002;东南大学计算机科学与工程学院,南京,210096;扬州大学信息工程学院,扬州,225009
基金项目:国家自然科学基金资助项目(60572071,60873101);;江苏省自然科学基金资助项目(BM2006504,BK2007104)
摘    要:为实现将给定的二元可逆函数快速综合为相应电路,并保持其结果的最优或较优,提出一种基于真值表变换的快速综合算法.可逆函数与置换同构,任意置换均可表示为若干对换的乘积,通过将可逆函数转化为一系列对换的乘积,从对换的乘积中综合电路.对于3bit逻辑电路只有28种对换,事先将28种对换的最优电路存入库中生成3bit电路综合基,通过在库中查找快速生成可逆电路.根据逻辑门可交换规则引入优化方法,完成快速综合算法.结果表明,该方法不但可以提高可逆逻辑综合的效率,而且结构简单,易于实现,可以O(4n)的时间效率快速综合任意3bit可逆逻辑电路,实现综合结果达到或接近最优.

关 键 词:可逆逻辑综合  真值表  对换  规则优化

Reversible logic synthesis algorithm based on transformation of truth table
An Bo,Chen Hanwu,Yang Zhongming,Wang Dong,Li Zhiqiang. Reversible logic synthesis algorithm based on transformation of truth table[J]. Journal of Southeast University(Natural Science Edition), 2010, 40(1). DOI: 10.3969/j.issn.1001-0505.2010.01.011
Authors:An Bo  Chen Hanwu  Yang Zhongming  Wang Dong  Li Zhiqiang
Affiliation:1School of Computer Science and Engineering;Southeast University;Nanjing 210096;China;2Computer Center;Henan University;Kaifeng 415002;China;3College of Information Engineering;Yangzhou University;Yangzhou 225009;China
Abstract:To realize the synthesis of a certain reversible function rapidly,and make the result optimal or better,an algorithm based on the transformation of the truth table is proposed.A reversible function is isomorphic to a permutation and an arbitrary permutation can be expressed as a product of a series of swapping,thus the circuits can be generated in the product.Only 28 kinds of swapping exist for the 3 bit circuits,whose corresponding circuit blocks are stored into a library in advance as the bases of 3 bit c...
Keywords:reversible logic synthesis  truth table  swapping  rules based optimizing  
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号