基于汉明距离递减变换的可逆逻辑综合算法计算机学报.pdf

第卷第期 计 算 机 学 报 ３７ ８ 　 　　　　　　　　 Ｖｏｌ．３７Ｎｏ．８ 年月 ２０１４８ Ａｕ．２０１４ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ ｇ 　 基于汉明距离递减变换的可逆逻辑综合算法 ），） ） ），） ） １４ １ １２ ３ 陈汉武 李文骞 阮越 李志强 　 　 　 ） １（东南大学计算科学与工程学院南京 ） ２１００９６ 　 　 ） ２（安徽工业大学计算机学院安徽马鞍山 ） ２４３００５ 　 　 ） ３（扬州大学信息工程学院江苏扬州 ） ２２５００９ 　 　 ） ４（东南大学计算机网络和信息集成教育部重点实验室南京 ） ２１００９６ 　 　 摘要可逆逻辑综合是指对给定的可逆函数自动构造对应的可逆逻辑电路现有的可逆逻辑综合算法虽然通过 ． 　　 ， ， 后期优化能够得到近似最优解但是都存在生成的原始电路门数较多的问题增加了后期优化工作的难度文中提 ． 出一种基于真值表异位数计算的综合方法，根据异位数判定是否需增加逻辑非门达到减少输入和输出向量的汉明 距离，从而实现边计算边简化函数，最后采用汉明距离递减变换的方法生成最终的电路通过实验表明，相比于其 ． ， ， 他的综合算法该算法得到的原始电路更接近于最优解或近似最优解很大程度上减少了算法后续的优化工作量． 关键词 ； ； ； 可逆逻辑综合扩展 门汉明距离异位数 Ｔｏｆｆｏｌｉ