Reversible Logic Circuit Synthesis Using Genetic Algorithm and Particle Swarm Optimization

We propose two population-based search techniques for synthesizing reversible circuits. Given a reversible specification of a circuit, the algorithms produce a network of Toffoli gates for its realization, which is competitive in terms of the number of gates and quantum cost compared to earlier designs. Synthesis of several reversible circuits was studied to evaluate the proposed methods. Experimental results are indicative of encouraging performance with respect to cost and time of synthesis.

[1]  G.E. Moore,et al.  Cramming More Components Onto Integrated Circuits , 1998, Proceedings of the IEEE.

[2]  John P. Hayes,et al.  Synthesis of reversible logic circuits , 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[3]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[4]  Tommaso Toffoli,et al.  Reversible Computing , 1980, ICALP.

[5]  Niraj K. Jha,et al.  An Algorithm for Synthesis of Reversible Logic Circuits , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[6]  R. Merkle.  Reversible electronic logic using switches , 1993 .

[7]  Morteza Saheb Zamani,et al.  A novel synthesis algorithm for reversible circuits , 2007, ICCAD 2007.

[8]  Alan Mishchenko,et al.  Logic Synthesis of Reversible Wave Cascades , 2002, IWLS.

[9]  Morteza Saheb Zamani,et al.  On the Behavior of Substitution-based Reversible Circuit Synthesis Algorithms: Investigation and Improvement , 2007, IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07).

[10]  Guowu Yang,et al.  A Constructive Algorithm for Reversible Logic Synthesis , 2006, 2006 IEEE International Conference on Evolutionary Computation.

[11]  Rolf Landauer,et al.  Irreversibility and heat generation in the computing process , 1961, IBM J. Res. Dev..

[12]  Hafizur Rahaman,et al.  Optimal Reversible Logic Circuit Synthesis Based on a Hybrid DFS-BFS Technique , 2010, 2010 International Symposium on Electronic System Design.

[13]  Anas N. Al-Rabadi,et al.  Regularity and Symmetry as a Base for Efficient Realization of Reversible Logic Circuits , 2001 .

[14]  Ralph C. Merkle,et al.  Helical logic , 1996 .