高级检索
徐明强, 管致锦, 倪丽惠. 基于关联选择的可逆逻辑综合算法[J]. 计算机辅助设计与图形学学报, 2012, 24(9): 1218-1225.
引用本文: 徐明强, 管致锦, 倪丽惠. 基于关联选择的可逆逻辑综合算法[J]. 计算机辅助设计与图形学学报, 2012, 24(9): 1218-1225.
Xu Mingqiang, Guan Zhijin, Ni Lihui. Algorithm Based on Related Selection for Reversible Logic Synthesis[J]. Journal of Computer-Aided Design & Computer Graphics, 2012, 24(9): 1218-1225.
Citation: Xu Mingqiang, Guan Zhijin, Ni Lihui. Algorithm Based on Related Selection for Reversible Logic Synthesis[J]. Journal of Computer-Aided Design & Computer Graphics, 2012, 24(9): 1218-1225.

基于关联选择的可逆逻辑综合算法

Algorithm Based on Related Selection for Reversible Logic Synthesis

  • 摘要: 可逆逻辑综合是可逆计算的重要内容,为了解决可逆逻辑综合中可逆电路构造和优化问题,提出一种基于关联选择的可逆逻辑综合算法及相应的优化算法.将可逆函数用真值表表示,按真值表从上往下的顺序综合,并若干相关联变量作为综合的目标位,分别计算相对混乱度和绝对混乱度,以最小混乱度原则选取可逆逻辑门.该算法及其优化算法的时间复杂度为O(n2×2n),空间复杂度为O(n2×2n),优于最佳算法的空间复杂度O(2n!).通过C++语言实现对3变量全部函数及部分4变量函数的综合,并与其他可逆逻辑综合算法的结果及benchmark范例比较,结果表明平均门数均具有一定优势.

     

    Abstract: Reversible logic synthesis is an important part of reversible computing.To cope with the problem about how to cascade the reversible circuits and its optimization,this paper presents an algorithm based on related selection and its optimization algorithm for reversible logic synthesis.The reversible function,which is represented by truth table,is synthesized using several related target bits in order of truth table.The value of absolute chaos degree and relative chaos degree is calculated respectively,and selects the reversible logic gate with the principle of minimum chaos degree.The time complexity for the algorithm and its optimization algorithm is O(n2×2n),and its space complexity is O(n×2n),which is superior to the optimal algorithm's O(2n!).By using C+ + program language,the algorithm realizes the synthesis of the whole 3-variables functions and some part of 4-variables functions.In comparison with other algorithms for reversible logic synthesis,the results show some advantages in average gate number in the synthesis of the whole 3-variables functions and some examples in benchmark.

     

/

返回文章
返回