Reversible Logic Synthesis Based on Shannon and Davio Decision Diagrams

Abstract

Reversible logic synthesis methodologies will be of great importance in the long-term future of computing. A promising application of reversible logic is quantum computation. The synthesis of reversible logic circuits can be considered as the first step leading to the synthesis of quantum circuits. The paper introduces a methodology based on Shannon, positive Davio (pD), and negative Davio (nD) expansions for synthesizing logic functions. It is required to create a decision diagram for the function to be synthesized and then transform the nodes by reversible gates based on two approaches. The first approach uses three proposed (Shannon, pD, and nD) Fredkin gates to synthesize the logic function. The second approach is to use cascaded reversible (Feynman and Toffoli) gates in synthesizing the logic functions. Then the reversible circuits are tested for optimization in gates count and garbage outputs. The technique proposed in this work is efficient with less cost than previous types, as well as it is suitable to address large functions.