基于对换门库的可逆逻辑电路综合算法

为了将可逆函数以较小的代价自动构造为对应的可逆逻辑电路,提出了一种基于对换门库的综合算法.首先,将可逆函数的输出作为快速排序算法的输入数据,在排序算法中按顺序保留所交换的元素对,并输出该元素对序列;其次,利用置换群规则对该序列进行优化处理,获得相似度最高的对换序列;然后,逆序排列该对换序列,并基于对换门库生成可逆函数的初始电路;最后,应用电路门优化规则,对初始电路进行优化,得到最终的可逆逻辑电路.相比于其他算法,所提算法明显提高了可逆逻辑综合效率,其思想的简洁性使得算法更易于理解和实现.