文献类型：期刊文章

作　　者：管致锦[1,2] 秦小麟[3] 陶涛[4] 施[1]

机构地区：[1]南通大学计算机科学与技术学院,江苏南通226019 [2]南京大学新技术软件国家重点实验室,江苏南京210093 [3]南京航空航天大学信息科学与技术学院,江苏南京210016 [4]南通大学江苏省专用集成电路设计重点实验室,江苏南通226019

出　　处：《电子学报》

基　　金：国家自然科学基金(No.60873069);国家863高技术研究发展计划(No.2007AA01Z404)

年　　份：2010

卷　　号：38

期　　号：10

起止页码：2370-2376

语　　种：中文

收录情况：BDHX、BDHX2008、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20104913460952)、IC、INSPEC、JST、RCCSE、RSC、SCOPUS、ZGKJHX、核心刊

摘　　要：可逆计算是一个新兴的研究领域,可逆逻辑门网络的级联是可逆计算的重要内容.本文提出了一种可逆逻辑网络表示方法,给出了相应的可逆网络模型.为了构造可逆逻辑网络,给出了一种可逆逻辑门单元库的构造方法.证明了同一垂直线上两个不相交可逆逻辑门单元的输出值与此二逻辑门单元分布到相同平行线的两条相邻垂直线上的输出值之间的关系;给出了分布在相同平行线上奇数和偶数个相邻的相同可逆逻辑门单元输出结果的性质.提出了一种可逆网络输出向量的表示方法和基于可逆门编码的可逆网络级联方法,以此生成给定范围内的可逆网络.通过变进制数的方法快速找到可逆网络输出向量所对应的序号,降低了搜索次数,减小了搜索空间,为进一步综合大规模可逆网络,提高可逆网络级联效率提供了支持.Benchmark例题验证表明,该方法构造的可逆网络控制门数更少,代价更小.

关 键 词：可逆计算  可逆逻辑综合 可逆逻辑门  可逆网络  可逆门级联  

分 类 号：TP301.6]