Optimizing the Reversible Circuits Using Complementary Control Line Transformation

In this paper, a transformation method is presented which converts complementary control lines of a reversible gate pair to equal/similar control lines. A set of optimization rules is discussed that take advantage of the increased equal control lines to reduce the cost. A greedy optimization algorithm, which uses the proposed transformation method and the optimization rules, is presented. Results for a large set of benchmarks confirm that the proposed algorithm performs better when compared with other Exclusive-OR Sum-Of-Product (ESOP) based methods available in the literature.

[1]  Robert Wille,et al.  Improving the mapping of reversible circuits to quantum circuits using multiple target lines , 2013, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).

[2]  Morteza Saheb Zamani,et al.  Rule-based optimization of reversible circuits , 2010, 2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC).

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

[4]  Robert Wille,et al.  Reducing Reversible Circuit Cost by Adding Lines , 2010, 2010 40th IEEE International Symposium on Multiple-Valued Logic.

[5]  Gerhard W. Dueck,et al.  Techniques for the synthesis of reversible Toffoli networks , 2006, TODE.

[6]  Kamalika Datta,et al.  An ESOP-Based Reversible Circuit Synthesis Flow Using Simulated Annealing , 2014, ACSS.

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

[8]  Robert Wille,et al.  Towards a Design Flow for Reversible Logic , 2010 .

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

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

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

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

[13]  Robert Wille,et al.  Automatic design of low-power encoders using reversible circuit synthesis , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[14]  Igor L. Markov,et al.  Synthesis and optimization of reversible circuits—a survey , 2011, CSUR.

[15]  I. Chuang,et al.  Quantum Computation and Quantum Information: Bibliography , 2010 .

[16]  R Cuykendall,et al.  Reversible optical computing circuits. , 1987, Optics letters.

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

[18]  Rolf Drechsler,et al.  Improved Cube List Based Cube Pairing Approach for Synthesis of ESOP Based Reversible Logic , 2014, Trans. Comput. Sci..

[19]  Kamalika Datta,et al.  A Post-Synthesis Optimization Technique for Reversible Circuits Exploiting Negative Control Lines , 2015, IEEE Transactions on Computers.

[20]  Stefan Frehse,et al.  RevKit: A Toolkit for Reversible Circuit Design , 2012, J. Multiple Valued Log. Soft Comput..