A Cube Pairing Approach for Synthesis of ESOP-Based Reversible Circuit

This work proposes an ESOP-based technique for the synthesis of reversible circuit using a paired cube approach. In this method, initially we provide an ESOP as input and generate an optimized cube structure. Next, the pairing of ESOP cubes based on their structural similarity is performed to design improved reversible circuit using Toffoli gates. Experimental result shows that the paired cube synthesis approach is highly efficient primarily for the single output functions. Significant reduction of quantum cost is also achieved for those multi-output functions, which do not have shared functionality between multiple outputs. The proposed algorithm generates reversible circuits for large functions with reduced quantum cost in reasonable time.

[1]  Gerhard W. Dueck,et al.  Reversible Logic Synthesis , 2020, Reversible and DNA Computing.

[2]  Robert Wille,et al.  Improving ESOP-Based Synthesis of Reversible Logic Using Evolutionary Algorithms , 2011, EvoApplications.

[3]  Jacqueline E. Rice,et al.  Using autocorrelation coefficient-based cost functions in ESOP-based Toffoloi gate cascade generation , 2010, CCECE 2010.

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

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

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

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

[8]  Gerhard W. Dueck,et al.  A transformation based algorithm for reversible logic synthesis , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

[9]  J. E. Rice,et al.  A Shared-cube Approach to ESOP-based Synthesis of Reversible Logic , 2011 .

[10]  Kamalika Datta,et al.  An Improved Reversible Circuit Synthesis Approach using Clustering of ESOP Cubes , 2014, JETC.

[11]  Robert Wille,et al.  BDD-based synthesis of reversible logic for large functions , 2009, 2009 46th ACM/IEEE Design Automation Conference.

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

[13]  J. E. Rice,et al.  Ordering techniques for ESOP-based Toffoli cascade generation , 2011, Proceedings of 2011 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing.

[14]  Niraj K. Jha,et al.  Synthesis of reversible logic , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[15]  Michael A. Nielsen,et al.  Quantum Computation and Quantum Information Theory , 2000 .

[16]  R. Landauer,et al.  Minimal energy dissipation in logic , 1970 .

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

[18]  Kamalika Datta,et al.  ESOP-Based Synthesis of Reversible Circuit Using Improved Cube List , 2013, 2013 International Symposium on Electronic System Design.

[19]  J. E. Rice.  Toffoli Gate Cascade Generation Using ESOP Minimization and QMDD-based Swapping , 2009 .

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

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