-
题名可逆逻辑门网络的表示与级联
被引量：10
- 1
-
-
作者
管致锦
秦小麟
陶涛
施
-
机构
南通大学计算机科学与技术学院
南京大学新技术软件国家重点实验室
南京航空航天大学信息科学与技术学院
南通大学江苏省专用集成电路设计重点实验室
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2010年第10期2370-2376,共7页
-
基金
国家自然科学基金(No.60873069)
国家863高技术研究发展计划(No.2007AA01Z404)
-
文摘
可逆计算是一个新兴的研究领域,可逆逻辑门网络的级联是可逆计算的重要内容.本文提出了一种可逆逻辑网络表示方法,给出了相应的可逆网络模型.为了构造可逆逻辑网络,给出了一种可逆逻辑门单元库的构造方法.证明了同一垂直线上两个不相交可逆逻辑门单元的输出值与此二逻辑门单元分布到相同平行线的两条相邻垂直线上的输出值之间的关系;给出了分布在相同平行线上奇数和偶数个相邻的相同可逆逻辑门单元输出结果的性质.提出了一种可逆网络输出向量的表示方法和基于可逆门编码的可逆网络级联方法,以此生成给定范围内的可逆网络.通过变进制数的方法快速找到可逆网络输出向量所对应的序号,降低了搜索次数,减小了搜索空间,为进一步综合大规模可逆网络,提高可逆网络级联效率提供了支持.Benchmark例题验证表明,该方法构造的可逆网络控制门数更少,代价更小.
-
关键词
可逆计算
可逆逻辑综合
可逆逻辑门
可逆网络
可逆门级联
-
Keywords
reversible computing
reversible logic synthesis
reversible logic
reversible network
reversible gate cascade
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
