CAJ | 학술논문

可逆逻辑作为量子计算，纳米技术，低功耗设计等新兴技术的基础，近年来得到了越来越多的关注和研究。然而，大多数可逆逻辑综合方法对函数真值表表达形式的依赖使得综合电路规模受到了限制。决策图作为一种更加简洁的布尔函数表示方法，其为可逆逻辑综合提供了另一种途径。本文基于Kronecker函数决策图（KFDD ）提出了一种适合于综合大规模电路的综合方法。该方法利用KFDD描述功能函数，以局部最优的方式从三种节点分解方法中寻找最优分解方法，并根据Kronecker函数决策图中不同类型的节点构建相应的可逆逻辑电路模块，最后将各节点替换电路模块实现级联得到结果电路。以可逆基准电路为例，对该方法进行了验证。实验结果表明，该方法能以较低的代价实现对较大规模函数的可逆逻辑电路综合。
가역라집작위양자계산，납미기술，저공모설계등신흥기술적기출，근년래득도료월래월다적관주화연구。연이，대다수가역라집종합방법대함수진치표표체형식적의뢰사득종합전로규모수도료한제。결책도작위일충경가간길적포이함수표시방법，기위가역라집종합제공료령일충도경。본문기우Kronecker함수결책도（KFDD ）제출료일충괄합우종합대규모전로적종합방법。해방법이용KFDD묘술공능함수，이국부최우적방식종삼충절점분해방법중심조최우분해방법，병근거Kronecker함수결책도중불동류형적절점구건상응적가역라집전로모괴，최후장각절점체환전로모괴실현급련득도결과전로。이가역기준전로위례，대해방법진행료험증。실험결과표명，해방법능이교저적대개실현대교대규모함수적가역라집전로종합。
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 synthe-sis of reversible logic .Here ,a synthesis approach based on Kronecker Functional Decision Diagram (KFDD) is proposed ,that gen-erates KFDD for a logic function by means of choosing the local optimal one from three alternative node decomposition types .Final-ly ,the result circuit can be produced by substituting all nodes of the KFDD with circuit modules and cascading them .Verified by re-versible benchmarks ,experiments show the adaption of the proposed approach to large functions with better results .