Abstract:In this paper, a library-based synthesis methodology for reversible circuits is proposed where a reversible specification is considered as a permutation comprising a set of cycles. To this end, a pre-synthesis optimization step is introduced to construct a reversible specification from an irreversible function. In addition, a cycle-based representation model is presented to be used as an intermediate format in the proposed synthesis methodology. The selected intermediate format serves as a focal point for all potential representation models. In order to synthesize a given function, a library containing seven building blocks is used where each building block is a cycle of length less than 6. To synthesize large cycles, we also propose a decomposition algorithm which produces all possible minimal and inequivalent factorizations for a given cycle of length greater than 5. All decompositions contain the maximum number of disjoint cycles. The generated decompositions are used in conjunction with a novel cycle assignment algorithm which is proposed based on the graph matching problem to select the best possible cycle pairs. Then, each pair is synthesized by using the available components of the library. The decomposition algorithm together with the cycle assignment method are considered as a binding method which selects a building block from the library for each cycle. Finally, a post-synthesis optimization step is introduced to optimize the synthesis results in terms of different costs.

Minimal universal library for n×n reversible circuits

On Synthesis of 3 × 3 Reversible Logic Functions

New Designs of Universal Reversible Gate Library

Effective Hash-Based Algorithm for Reversible Logic Circuits Synthesis with Minimum Cost

Asymptotically optimal synthesis of reversible circuits

ULGss: A Strategy to construct a Library of Universal Logic Gates for $N$-variable Boolean Logic beyond NAND and NOR

New designs of reversible sequential devices

An Algorithm for Synthesis of Optimal 3-qubit Reversible Circuits Based on Bit Operation

Reversible Gates Using Quantum Phase Slip Junctions, Part A: Logical Reversible Design

Reversible Logic Synthesis by Quantum Rotation Gates

Application of Permutation Group Theory in Reversible Logic Synthesis

Synthesis of Fault Tolerant Reversible Logic Circuits

An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition

Super-compact universal quantum logic gates with inversedesigned elements

Reversible Circuit Optimization via Leaving the Boolean Domain

A Library-Based Synthesis Methodology for Reversible Logic

Boolean Matching Reversible Circuits: Algorithm and Complexity

The phase/state duality in reversible circuit design

Universal transversal gates

An Arithmetic Logic Unit design based on reversible logic gates

Super-compact universal quantum logic gates with inverse-designed elements