Reversible Synthesis by Using Decision Diagrams

Abstract

Reversible logic synthesis has been gaining much attention recently. There are many synthesis approaches including those using spectral techniques. In this paper we present a synthesis procedure based on the transformation of the Reed-Muller spectrum of the reversible function by using Functional Decision Diagram (FDD) as the underlying data structure. Transformation of] the Reed-Muller spectrum required in the synthesis procedure will be performed trough transformation of the corresponding FDD. This procedure consists of the following: We generate FDD for the given reversible function and then we transform it into the FDD of the identity function.

Оборотному логiчному синтезу останнiм часом придiляється велика увага. Iснує багато пiдходiв до логiчного синтезу, включаючи пiдходи, що застосовують спектральний апарат. В цiй статтi розглядається процедура синтезу, яка базується на перетвореннi спектра Рiда-Малера оборотної функцiї за допомогою функцiональної розв'язної дiаграми (ФРД) в базову стру- ктуру даних. Перетворення спектра Рiда-Малера, яке потрiбно зробити в процедурi синтезу, вiдбувається за допомогою вiдповiдної ФРД. Ця процедура складається з наступних крокiв: спочатку генерується ФРД для заданої оборотної функцiї, а потiм вона трансформується у ФРД тотожної функцiї.