A Novel Approach Towards Optimized Synthesis of Four Variable Reversible Function Using Toffoli-Fredkin Based Mixed Templates

In the arena of reversible computation, several algorithms for synthesizing reversible circuit have contributed a major part. Good number of algorithms for optimized reversible circuit design is available in literature. In our previous work we proposed a synthesis algorithm for four variable reversible circuits using Toffoli Gates only, which outperforms already proposed synthesis algorithm in terms of both gate count and as well as quantum cost. The current work proposes another synthesis algorithm for four bit reversible functions using pre-designed templates combining both Toffoli and Fredkin gates. Template design considers optimal Control Sets for combined Toffoli and Fredkin gates in terms of gate count. These combined Toffoli-Fredkin templates further improve upon the gate count. Comparative study of previously proposed synthesized algorithms having Toffoli gates alone with mixed Toffoli-Fredkin version clearly exhibits the gate count improvements.

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

[2]  Gerhard W. Dueck,et al.  Transformation-based synthesis of networks of Toffoli/Fredkin gates , 2003, CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436).

[3]  Atal Chaudhuri,et al.  A novel reversible two's complement gate (TCG) and its quantum mapping , 2017, 2017 Devices for Integrated Circuit (DevIC).

[4]  Kamalika Datta,et al.  A Cycle Based Reversible Logic Synthesis Approach , 2013, 2013 Third International Conference on Advances in Computing and Communications.

[5]  Atal Chaudhuri,et al.  Comprehensive quantum analysis of existing four variable reversible gates , 2017, 2017 Devices for Integrated Circuit (DevIC).

[6]  R. Feynman.  Simulating physics with computers , 1999 .

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

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

[9]  Michael P. Frank,et al.  Introduction to reversible computing: motivation, progress, and challenges , 2005, CF '05.

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

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

[12]  Gerhard W. Dueck,et al.  A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis , 2016, RC.

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

[14]  Atal Chaudhuri,et al.  Toffoli netlist based synthesis of four variable reversible functions , 2017, 2017 Third International Conference on Research in Computational Intelligence and Communication Networks (ICRCICN).

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

[16]  Gerhard W. Dueck,et al.  Toffoli network synthesis with templates , 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[17]  Robert Wille,et al.  Reversible Logic Synthesis with Output Permutation , 2009, 2009 22nd International Conference on VLSI Design.

[18]  Gerhard W. Dueck,et al.  Reversible Function Synthesis with Minimum Garbage Outputs , 1997 .

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