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.

Reversible Logic Synthesis by Quantum Rotation Gates

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

On Synthesis of 3 × 3 Reversible Logic Functions

Reversible circuit synthesis using a cycle-based approach

Interpolation Methods for Binary and Multivalued Logical Quantum Gate Synthesis

Reversible Circuit Optimization via Leaving the Boolean Domain

Ancilla-free Reversible Logic Synthesis via Sorting

Synthesis and Optimization of Reversible Circuits - A Survey

Application of Permutation Group Theory in Reversible Logic Synthesis

A Library-Based Synthesis Methodology for Reversible Logic

An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition

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

Synthesis of Fault Tolerant Reversible Logic Circuits

Rule-Based Optimization of Reversible Circuits

EQB: Synthesizing Permutative Quantum Gates and Circuits Using Rotation-Based Group Decomposition

Towards Reverse Engineering Reversible Logic

A Synthesis Method for Quaternary Quantum Logic Circuits

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

DESIGN AND OPTIMIZATION OF SINGLE AND MULTIPLE-LOOP REVERSIBLE AND QUANTUM FEEDBACK CIRCUITS

Optimal Synthesis of Multi-Controlled Qudit Gates

Computation of Internal Fluid Flows in Channels Using the Package CFX-5