ESOP-Based Toffoli Network Generation with Transformations

In this paper a new Toffoli gate cascade synthesis method is presented. This method is based on previous work and generates a cascade of inverted-control-Toffoli gates from the ESOP representation of a multi-output function. The algorithm first generates a circuit with n + m lines, where n and m are the number of inputs and outputs, respectively. A set of gate transformations are applied to the circuits to remove some of the output lines. The improvements of this new algorithm are twofold: most NOT gates are eliminated and the number of lines is reduced. A significant reduction is the quantum cost of the resulting networks can be observed.

[1]  Pérès,et al.  Reversible logic and quantum computers. , 1985, Physical review. A, General physics.

[2]  John P. Hayes,et al.  Reversible logic circuit synthesis , 2002, IWLS.

[3]  Robert Wille,et al.  RevLib: An Online Resource for Reversible Functions and Reversible Circuits , 2008, 38th International Symposium on Multiple Valued Logic (ismvl 2008).

[4]  Yasaman Sanaee,et al.  Shared-PPRM: A Memory-Efficient Representation for Boolean Reversible Functions , 2008, 2008 IEEE Computer Society Annual Symposium on VLSI.

[5]  M. Thornton,et al.  ESOP-based Toffoli Gate Cascade Generation , 2007, 2007 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing.

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

[7]  Yasaman Sanaee,et al.  Generating Toffoli networks from ESOP expressions , 2009, 2009 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing.

[8]  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.

[9]  A. Mishchenko,et al.  Fast Heuristic Minimization of Exclusive-Sums-of-Products , 2001 .

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

[11]  T. Toffoli,et al.  Conservative logic , 2002, Collision-Based Computing.

[12]  Robert Wille,et al.  Quantified Synthesis of Reversible Logic , 2008, 2008 Design, Automation and Test in Europe.

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

[14]  Gerhard W. Dueck,et al.  Level Compaction in Quantum Circuits , 2006, 2006 IEEE International Conference on Evolutionary Computation.

[15]  E. Knill,et al.  A scheme for efficient quantum computation with linear optics , 2001, Nature.

[16]  Charles H. Bennett,et al.  Logical reversibility of computation , 1973 .

[17]  Barenco,et al.  Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.