电子学报

• 科研通信 • 上一篇    下一篇

基于KFDD的可逆逻辑电路综合设计方法

王友仁, 沈先坤, 周影辉   

  1. 南京航空航天大学自动化学院, 江苏南京 210016
  • 收稿日期:2013-03-29 修回日期:2013-07-24 出版日期:2014-05-25
    • 作者简介:
    • 王友仁 男,1963年生,博士、教授、博士生导师,研究方向为电路理论、信号处理、进化硬件、故障诊断预测、智能系统等. E-mail:wangyrac@nuaa.edu.cn沈先坤 男,1987年生,南京航空航天大学自动化学院硕士研究生,研究方向为量子可逆逻辑电路综合技术. E-mail:245931823@qq.com
    • 基金资助:
    • 航空科学基金 (No.2011ZD52050)

Synthesis Design Method of Reversible Logic Circuit Based on Kronecker Functional Decision Diagram

WANG You-ren, SHEN Xian-kun, ZHOU Ying-hui   

  1. College of Automation Engineering, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu 210016, China
  • Received:2013-03-29 Revised:2013-07-24 Online:2014-05-25 Published:2014-05-25
    • Supported by:
    • Aeronautical Science Foundation of China, ASFC (No.2011ZD52050)

摘要: 可逆逻辑作为量子计算,纳米技术,低功耗设计等新兴技术的基础,近年来得到了越来越多的关注和研究.然而,大多数可逆逻辑综合方法对函数真值表表达形式的依赖使得综合电路规模受到了限制.决策图作为一种更加简洁的布尔函数表示方法,其为可逆逻辑综合提供了另一种途径.本文基于Kronecker函数决策图(KFDD)提出了一种适合于综合大规模电路的综合方法.该方法利用KFDD描述功能函数,以局部最优的方式从三种节点分解方法中寻找最优分解方法,并根据Kronecker函数决策图中不同类型的节点构建相应的可逆逻辑电路模块,最后将各节点替换电路模块实现级联得到结果电路.以可逆基准电路为例,对该方法进行了验证.实验结果表明,该方法能以较低的代价实现对较大规模函数的可逆逻辑电路综合.

关键词: 可逆逻辑电路综合, Kronecker函数决策图, 节点分解方法, 分解类型表

Abstract: Reversible logic has obtained more and more attention and research as the basis for several emerging technologies such as quantum computing,nanotechnologies and low-power design.However,currently most synthesis algorithms for reversible circuits suffer from being restricted to deal with relatively small functions only,since they rely on a truth table representation of the function to be synthesized.Decision Diagram serving as a more compact Boolean function description provides anther way to synthesis of reversible logic.Here,a synthesis approach based on Kronecker Functional Decision Diagram (KFDD) is proposed,that generates KFDD for a logic function by means of choosing the local optimal one from three alternative node decomposition types.Finally,the result circuit can be produced by substituting all nodes of the KFDD with circuit modules and cascading them.Verified by reversible benchmarks,experiments show the adaption of the proposed approach to large functions with better results.

Key words: reversible logic circuit synthesis, Kronecker functional decision diagram, node decomposition types, decomposition type list

中图分类号: