A Novel Algorithm for Reversible Circuit Optimization

Reversible circuit synthesis is an important field in quantum computing, low-power design, and reversible circuit. The problem of reversible circuit synthesis is complicated and hard to solve because the input of the reversible circuit will experience a huge increase when extended to multi-bit. In this paper, a novel algorithm of reversible circuit synthesis is proposed. With the satisfied priority of positions, we can efficiently select the position which should be satisfied, and each selected gate is generated to benefit the overall situation. Therefore, the proposed algorithm is able to optimize the reversible circuit with fewer gates and can be implemented in regard to multibit reversible circuit synthesis. In addition, the gate set we used contains only Toffoli, spanning all wires. This Toffoli gate is liable to be transformed into another gate set and is helpful for algorithm design. The experiment shows that the proposed algorithm, with efficient and optimal results, is superior to others.

[1]  Morteza Saheb Zamani,et al.  A novel synthesis algorithm for reversible circuits , 2007, ICCAD 2007.

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

[3]  Chao Huang,et al.  A novel Toffoli network synthesis algorithm for reversible logic , 2009, 2009 Asia and South Pacific Design Automation Conference.

[4]  Dmitri Maslov,et al.  A Study of Optimal 4-Bit Reversible Toffoli Circuits and Their Synthesis , 2011, IEEE Transactions on Computers.

[5]  Dmitri Maslov,et al.  Synthesis of the optimal 4-bit reversible circuits , 2010, Design Automation Conference.

[6]  Gerhard W. Dueck,et al.  Quantum Circuit Simplification and Level Compaction , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[7]  Sy-Yen Kuo,et al.  An Algorithm for Minimum Space Quantum Boolean Circuits Construction , 2006, J. Circuits Syst. Comput..

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

[9]  M. Karnaugh The map method for synthesis of combinational logic circuits , 1953, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.

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