Efficient Algorithms for Optimal 4-Bit Reversible Logic System Synthesis

Owing to the exponential nature of the memory and run-time complexity, many methods can only synthesize 3-bit reversible circuits and cannot synthesize 4-bit reversible circuits well. We mainly absorb the ideas of our 3-bit synthesis algorithms based on hash table and present the efficient algorithms which can construct almost all optimal 4-bit reversible logic circuits with many types of gates and at mini-length cost based on constructing the shortest coding and the specific topological compression; thus, the lossless compression ratio of the space of -bit circuits reaches near . This paper presents the first work to create all 3120218828 optimal 4-bit reversible circuits with up to 8 gates for the CNT (Controlled-NOT gate, NOT gate, and Toffoli gate) library, and it can quickly achieve 16 steps through specific cascading created circuits.

[1]  Guowu Yang,et al.  Realization and synthesis of reversible functions , 2011, Theor. Comput. Sci..

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

[3]  Guowu Yang,et al.  Fast synthesis of exact minimal reversible circuits using group theory , 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

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

[5]  Guowu Yang,et al.  Bi-Directional Synthesis of 4-Bit Reversible Circuits , 2008, Comput. J..

[6]  Guowu Yang,et al.  Bi-direction synthesis for reversible circuits , 2005, IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design (ISVLSI'05).

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

[8]  Alan Mishchenko,et al.  Logic Synthesis of Reversible Wave Cascades , 2002, IWLS.

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

[10]  Guowu Yang,et al.  Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[11]  Hanwu Chen,et al.  Application of Semi-Template in Reversible Logic Circuit , 2007, 2007 11th International Conference on Computer Supported Cooperative Work in Design.

[12]  Guowu Yang,et al.  Algebraic Characterization of Reversible Logic Gates , 2006, Theory of Computing Systems.

[13]  R. Feynman.  Quantum mechanical computers , 1986 .

[14]  Yahiko Kambayashi,et al.  Transformation rules for designing CNOT-based quantum circuits , 2002, DAC '02.

[15]  Baowen Xu,et al.  Fast algorithm for 4-qubit reversible logic circuits synthesis , 2008, 2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence).

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

[17]  Xiaoyu Song,et al.  Synthesis of reversible circuits with minimal costs , 2008 .