[2] [2] Feynman R P. Simulating physics with computers ［J］. International Journal of Theoretical Physics, 1982, 21(6): 467-488.

[3] [3] Deutsch D. Quantum theory, the Church-Turing principle and the universal quantum computer ［C］. Proc. of Roy. Soc. Lon. A, 1985, 400: 97-117.

[4] [4] Maslov D, Dueck G W, Miller D M. Quantum circuit simplification and level compaction ［J］. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2008, 27(3): 436-44.

[7] [7] Majid M, Mohammad E. On figures of merit in reversible and quantum logic designs ［J］. Quantum Information Processing, 2009, 8(4): 297-318.

[10] [10] Dilip P, Lala P K, Di J, et al. Reversible-logic design with online testability ［J］. IEEE Transactions on Instrumentation and Measurement, 2006, 55(2): 406-414.

[11] [11] Wille R, Daniel G, Stefan F, et al. Debugging reversible circuits ［J］. Integration the VLSI Journal, 2010, 44(1): 51-61.

[12] [12] Mahammad S N, Veezhinathan K. Constructing online testable circuits using reversible logic ［J］. IEEE Transactions on Instrumentation and Measurement, 2010, 59(1): 101-109.

[14] [14] Islam M S, Rahman M M, Bequm Z, et al. Fault tolerant reversible logic synthesis: carry look-ahead and carry-skip adders ［C］. Proceeding of 2009 International Conference on Advances in Computational Tools for Engineering Applications, Beirut, Lebanon, 2009: 396-401.