基于对换门库的可逆逻辑电路综合算法-东南大学学报.pdfVIP

第４２卷第５期 东南大学学报（自然科 学版 ） Ｖｏｌ．４２ Ｎｏ．５ 　 ２０１２年９月 ＪＯＵＲＮＡＬＯＦＳＯＵＴＨＥＡＳＴＵＮＩＶＥＲＳＩＴＹ（ＮａｔｕｒａｌＳｃｉｅｎｃｅＥｄｉｔｉｏｎ） 　 Ｓｅｐｔ．２０１２ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１－０５０５．２０１２．０５．００７ 基于对换门库的可逆逻辑电路综合算法 １ １，２ ３ １ １ 李志钢　陈汉武 　李志强　朱皖宁　刘志昊 １ （东南大学计算机科学与工程学院，南京２１１１８９） ２ （东南大学计算机网络和信息集成教育部重点实验室，南京２１１１８９） ３ （扬州大学信息工程学院，扬州２２５００９） 摘要：为了将可逆函数以较小的代价自动构造为对应的可逆逻辑电路，提出了一种基于对换门 库的综合算法．首先，将可逆函数的输出作为快速排序算法的输入数据，在排序算法中按顺序保 留所交换的元素对，并输出该元素对序列；其次，利用置换群规则对该序列进行优化处理，获得相 似度最高的对换序列；然后，逆序排列该对换序列，并基于对换门库生成可逆函数的初始电路；最 后，应用电路门优化规则，对初始电路进行优化，得到最终的可逆逻辑电路．相比于其他算法，所 提算法明显提高了可逆逻辑综合效率，其思想的简洁性使得算法更易于理解和实现． 关键词：量子可逆逻辑综合；置换群规则；对换门库；优化规则 中图分类号：ＴＰ３０１　　文献标志码：Ａ　　文章编号：１００１－０５０５（２０１２）０５０８３２０５ Ｒｅｖｅｒｓｉｂｌｅｌｏｇｉｃｃｉｒｃｕｉｔｓｙｎｔｈｅｓｉｓａｌｇｏｒｉｔｈｍ ｂａｓｅｄｏｎｔｒａｎｓｐｏｓｉｔｉｏｎｇａｔｅｌｉｂｒａｒｙ １ １，２ ３ １ １ ＬｉＺｈｉｇａｎｇ　ＣｈｅｎＨａｎｗｕ 　ＬｉＺｈｉｑｉａｎｇ　ＺｈｕＷａｎｎｉｎｇ　ＬｉｕＺｈｉｈａｏ １ （ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＳｏｕｔｈｅａｓｔＵｎｉｖｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ２１１１８９，Ｃｈｉｎａ） ２ （ＫｅｙＬａｂｏｒａｔｏｒｙｏｆＣｏｍｐｕｔｅｒＮｅｔｗｏｒｋａｎｄＩｎｆｏｒｍａｔｉｏｎＩｎｔｅｇｒａｔｉｏｎｏｆＭｉｎｉｓｔｒｙｏｆＥｄｕｃａｔｉｏｎ，ＳｏｕｔｈｅａｓｔＵｎｉｖｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ２１１１８９，Ｃｈｉｎａ） ３ （ＣｏｌｌｅｇｅｏｆＩｎｆｏｒｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＹａｎｇｚｈｏｕＵｎｉｖｅｒｓｉｔｙ，Ｙａｎｇｚｈｏｕ２２５００９，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｔｏａｕｔｏｍａｔｉｃａｌｌｙｃｏｎｓｔｒｕｃｔｄｅｓｉｒｅｄｑｕａｎｔｕｍｒｅｖｅｒｓｉｂｌｅｌｏｇｉｃｃｉｒｃｕｉｔｗｉｔｈｍｉｎｏｒｑｕａｎｔｕｍ ｃｏｓｔ，ａｎｓｙｎｔｈｅｓｉｓａｌｇｏｒｉｔｈｍｂａｓｅｄｏｎｔｈｅｔｒａｎｓｐｏｓｉｔｉｏｎｇａｔｅｌｉｂｒａｒｙ（ＴＧＬ）ｉｓｐｒｅｓｅｎｔｅｄ．Ｆｉｒｓｔ，ｔｈｅ ｏｕｔｐｕｔｏｆｔｈｅｒｅｖｅｒｓｉｂｌｅｆｕｎｃｔｉｏｎｉｓｔａｋｅｎａｓｔｈｅｉｎｐｕｔｏｆｔｈｅｑｕｉｃｋｓｏｒｔａｌｇｏｒｉｔｈｍ（ＱＳＡ）．Ｔｈｅｏｒｄｅｒ ｏｆｅｌｅｍｅｎｔｓｐａｉｒｓｗｈｉｃｈａｒｅｓｗａｐｐｅｄｉｎｔｈｅＱＳＡａｒｅｒｅｔａｉｎｅｄｉｎｏｒｄｅｒ，ａｎｄｔｈｅｓｅｑｕｅｎｃｅｏｆｅｌｅｍｅｎｔｓ ｐａｉｒｓｉｓａｓｔｈｅｏｕ