Abstract:Reversible computing is gaining high interest from researchers due to its various promises. One of the prominent advantages perceived from reversible logic is that of reduced power dissipation with many reversible gates at hand, designing a reversible circuit (combinational) has received due attention and achievement. A proposed language for description of reversible circuit, namely SyReC, is also in place. What remain are the software tools which would help in reversible circuit synthesis through simulation. Beginning with the smallest reversible circuit realizations the SyReC statements and expressions, we employ a hierarchal approach to develop a complete reversible circuit, entirely from its SyReC code. We implement this as a software tool. The tool allows a user to expand a reversible circuit of choice in terms of bit width of its inputs. The background approach of expansion of a reversible circuit has also been proposed as a part of this dissertation. Also, a user can use the tool to observe the effect of expansion on incurred costs, in terms of increase in number of lines, number of gates and quantum cost. The importance of observing the change in costs with respect to scale of expansion is important not only from analysis point of view, but also because the cost depends on the approach used for expansion. This dissertation also proposes a reversible circuit design for elevator controller (combinational) and the related costs. The aim is to emphasize use of the proposed approach is designing customized circuits.

Rule-Based Optimization of Reversible Circuits

Synthesis and Optimization of Reversible Circuits - A Survey

Reversible Circuit Optimization via Leaving the Boolean Domain

Synthesizing Reversible Functions Via Bounded Model Checking

Application of Permutation Group Theory in Reversible Logic Synthesis

Reversible Logic Synthesis by Quantum Rotation Gates

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

An Optimized Design of Reversible Sequential Digital Circuits

Synthesis of reversible circuits with minimal costs

A Library-Based Synthesis Methodology for Reversible Logic

A Novel Synthesis Algorithm for Reversible Circuits

Exact Synthesis of Reversible Logic Circuits using Model Checking

Bi-Directional Synthesis of 4-Bit Reversible Circuits

Cost Efficient Design of Reversible Adder Circuits for Low Power Applications

Towards Reverse Engineering Reversible Logic

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

Reversible circuit synthesis using a cycle-based approach

Development of SyReC based expandable reversible logic circuits

New designs of reversible sequential devices

Efficient Algorithms for Optimal 4-Bit Reversible Logic System Synthesis.

Asymptotically optimal synthesis of reversible circuits