Toffoli netlist based synthesis of four variable reversible functions

The growing research in reversible computation has been duly complimented by several proposals of reversible circuit synthesis algorithms. A certain amount of proposals have also been presented for optimizing reversible circuit designs. This communication proposes a fresh synthesis algorithm for four bit reversible functions based on a pre-defined library of Control Line Sets. The library contains a set of Toffoli Netlists for a certain transformation. An optimal Netlist selection choice based on Hamming Distance synthesizes an optimized reversible circuit for a given four variable reversible function which eliminates need of post synthesis optimization. The study has been compared with a peer synthesis algorithm and found to generate better reversible circuits.

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

[2]  Kyusik Chung,et al.  Evolutionary Approach to Quantum and Reversible Circuits Synthesis , 2003, Artificial Intelligence Review.

[3]  Rashmi S.B,et al.  Optimized Reversible Montgomery Multiplier , 2011 .

[4]  K. Poulose Jacob,et al.  High performance, low latency double digit decimal multiplier on ASIC and FPGA , 2009, 2009 World Congress on Nature & Biologically Inspired Computing (NaBIC).

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

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

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

[8]  Keivan Navi,et al.  A Novel Reversible Full Adder Circuit for Nanotechnology Based Systems , 2007 .

[9]  Mariusz Rawski,et al.  Reversible logic synthesis of boolean functions using functional decomposition , 2015, 2015 22nd International Conference Mixed Design of Integrated Circuits & Systems (MIXDES).

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

[11]  S. P. Maity,et al.  Implementation of HNG using MZI , 2012, 2012 Third International Conference on Computing, Communication and Networking Technologies (ICCCNT'12).

[12]  Muhammad Mahbubur Rahman,et al.  Fault tolerant reversible logic synthesis: Carry look-ahead and carry-skip adders , 2009, 2009 International Conference on Advances in Computational Tools for Engineering Applications.

[13]  M. Arun,et al.  Reversible Arithmetic Logic Gate (ALG) for Quantum Computation , 2013 .

[14]  N. Ranganathan,et al.  A novel optimization method for reversible logic circuit minimization , 2013, 2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).

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

[16]  Shiou-An Wang,et al.  Reversible logic synthesis based on a modified tabulation method , 2011, 2011 International Conference on Multimedia Technology.

[17]  Robert Wille,et al.  Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits , 2015, RC.

[18]  Atal Chaudhuri,et al.  Realization of a Novel Reversible SCG Gate and its Application for Designing Parallel Adder/Subtractor and Match Logic , 2011 .

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

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

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

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

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

[24]  Dmitry V. Zakablukov.  Application of Permutation Group Theory in Reversible Logic Synthesis , 2016, RC.

[25]  Morteza Saheb Zamani,et al.  A library-based synthesis methodology for reversible logic , 2010, Microelectron. J..

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

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

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

[29]  Katarzyna Radecka,et al.  A novel method of synthesizing reversible logic , 2011, 2011 IEEE International Symposium of Circuits and Systems (ISCAS).

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