可逆逻辑门网络的表示与级联.pdf

第 期 电 子 学 报 １０ Ｖｏｌ．３８ Ｎｏ．１０ 年 月 ２０１０ １０ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｏｃｔ． ２０１０ 可逆逻辑门网络的表示与级联 ， １２ ３ ４ １ 管致锦 ，秦小麟 ，陶 涛 ，施 （ 南通大学计算机科学与技术学院，江苏南通 ； 南京大学新技术软件国家重点实验室，江苏南京 ； １． ２２６０１９２． ２１００９３ 南京航空航天大学信息科学与技术学院，江苏南京 ； 南通大学江苏省专用集成电路设计重点实验室，江苏南通 ） ３． ２１００１６４． ２２６０１９ 摘 要： 可逆计算是一个新兴的研究领域，可逆逻辑门网络的级联是可逆计算的重要内容 本文提出了一种可 ． 逆逻辑网络表示方法，给出了相应的可逆网络模型 为了构造可逆逻辑网络，给出了一种可逆逻辑门单元库的构造方 ． 法 证明了同一垂直线上两个不相交可逆逻辑门单元的输出值与此二逻辑门单元分布到相同平行线的两条相邻垂直 ． 线上的输出值之间的关系；给出了分布在相同平行线上奇数和偶数个相邻的相同可逆逻辑门单元输出结果的性质 提 ． 出了一种可逆网络输出向量的表示方法和基于可逆门编码的可逆网络级联方法，以此生成给定范围内的可逆网络 通 ． 过变进制数的方法快速找到可逆网络输出向量所对应的序号，降低了搜索次数，减小了搜索空间，为进一步综合大规 模可逆网络，提高可逆网络级联效率提供了支持．Ｂｅｎｃｈｍａｒｋ例题验证表明，该方法构造的可逆网络控制门数更少，代 价更小． 关键词： 可逆计算；可逆逻辑综合；可逆逻辑门；可逆网络；可逆门级联 中图分类号： 文献标识码： 文章编号： （ ） ＴＰ３０１６ Ａ ０３７２１０２３７００７ ＲｅｐｒｅｓｅｎｔａｔｉｏｎａｎｄＣａｓｃａｄｅｆｏｒＲｅｖｅｒｓｉｂｌｅＧａｔｅＮｅｔｗｏｒｋ ， １２ ３ ４ １ ， ， ， ＧＵＡＮＺｈｉｊｉｎ ＱＩＮＸｉａｏｌｉｎＴＡＯＴａｏＳＨＩＱｕａｎ （ ， ， ， ， ；