Reversible Logic Circuits

Anas N. Al‐Rabadi

W. David Pan, M. Nalasani

This work presents the logical reversibility. The inputs and outputs of reversible logic gates can be uniquely retrievable from each other. The reversible logic operations can't erase information and dissipate zero heat. The circuit actually operates in a backward operation, allows reproducing the inputs from the outputs and consumes zero power. As the basic elements of any logic circuit, logic gates are used to realize Boolean functions. By combining reversible logic gates, reversible circuits can perform complex logical and arithmetic operations. A one-to-one mapping between inputs and outputs is realized. The logical operations run backwards by cascading a reversible logic gate with its dual (inverse). Reversible circuits are also called lossless circuits, as there is neither energy loss nor information loss. These circuits are very attractive for applications where extremely low power consumption, or heat dissipation, is desirable in areas ranging from communications, low power VLSI (very large-scale integration) technology, optical computing to nanotechnology. Reversible logic found to be very useful in quantum computing where the quantum evolution is inherently reversible.

Zhang Zhai

The synthesis method of quantum reversible logic circuits based on the genetic algorithm was studied.The multi-objective optimal design of reversible logic circuit's function,the number of quantum gates,the number of garbage bits and quantum cost was achieved by new synthesis method.The mathematical model for quantum reversible logic circuit synthesis was established,the matrix encoding method of quantum reversible logic circuits was proposed,the evolution operations and the multi-objective evolutionary algorithm for quantum reversible logic circuit design were developed.The 8 bits reversible multiplier was designed as an example,the experimental results show that the proposed multi-objective evolutionary design method for quantum reversible logic circuit synthesis is correct and effective.

Alexis De Vos

Xiaoyu Li, Guowu Yang, Desheng Zheng

Reversible quantum circuits are a necessary subclass of quantum computation and its realization is required for any quantum computer to be universal. This paper investigates how to synthesis of arbitrary ternary non-reversible logic circuits by adding inputs with constant value and garbage outputs. Group theory has been also used to solve the synthesis of reversible logic circuits. Our algorithm uses the SNT (ternary Swap gate, ternary NOT gate, ternary Toffoli gate) library, by reducing the ternary non-reversible logic circuit synthesis problem to group theory representation. The main result shows the relationship of ternary non-reversible logic circuits and the reversible circuits. The realization approach is constructive and can be further used to develop software for synthesis of arbitrary d-level circuits. This result is significantly different from the binary non-reversible logic circuits.