Synthesis of the optimal 4-bit reversible circuits

Proceedings - Design Automation Conference

Volumn , Issue , 2010, Pages 653-656

  Golubitsky, Oleg ^a   Falconer, Sean M ^b   Maslov, Dmitri ^c  

^a GOOGLE INC   (United States)

^b STANFORD UNIVERSITY   (United States)

^c UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Logic Synthesis; Quantum Computing; Reversible Circuits

Indexed keywords

BENCHMARK FUNCTIONS; BIT PERMUTATION; DESIGN AND OPTIMIZATION; LIMITING FACTORS; LOGIC SYNTHESIS; NON-TRIVIAL; OF QUANTUM-INFORMATION; OPTIMAL CIRCUIT; OPTIMAL SYNTHESIS; QUANTUM CIRCUIT; QUANTUM COMPUTING; REVERSIBLE CIRCUITS; TESTING CIRCUITS; TOFFOLI GATES;

COMPUTER AIDED DESIGN; DATA PROCESSING; DISTRIBUTION FUNCTIONS; EXPERIMENTS; OPTIMIZATION; QUANTUM COMPUTERS; QUANTUM OPTICS; QUANTUM THEORY;

LOGIC CIRCUITS;

EID: 77956201396     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1837274.1837440     Document Type: Conference Paper

References (17)

1. S. Aaronson and D. Gottesman. Improved simulation of stabilizer circuits. Physical Review A, 70(052328), 2004.
2. R. P. Feynman. Quantum mechanical computers. Foundations of Physics, 16(6):507-531, June 1986.
3. D. Große, et al. Exact SAT-based Toffoli network synthesis. Proc. 17th ACM Great Lakes Symp. on VLSI, 2007.
4. P. Gupta, et al. An algorithm for synthesis of reversible logic circuits. IEEE TCAD, 25(11):2317-2330, November 2006.
5. H. Häffner, et al. Scalable multiparticle entanglement of trapped ions. Nature 438:643-646, December 2005, quant-ph/0603217.
6. D. Maslov. Reversible logic synthesis benchmarks page. http://webhome.cs.uvic.ca/~dmaslov/, May 2009.
7. M. Matsumoto and T. Nishimura. Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator. ACM Trans. MCS, 8(1):3-30, 1998.
8. D. M. Miller. Spectral and two-place decomposition techniques in reversible logic. MWSCAS, August 2002.
9. C. Negrevergne, et al. Benchmarking Quantum Control Methods on a 12-Qubit System. Phys. Rev. Lett., 96, 170501, 2006, quant-ph/0603248.
10. M. Nielsen and I. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
11. M. Perkowski et al. A general decomposition for reversible logic. Proc. 5th Reed-Muller Workshop, pages 119-138, 2001.
12. A. K. Prasad, et al. Algorithms and data structures for simplifying reversible circuits. ACM JETC, 2(4), 2006.
13. M. Saeedi, et al. On the Behavior of Substitution-based Reversible Circuit Synthesis Algorithms: Investigation and Improvement. IEEE ISVLSI, pages 428-436, March 2007.
14. V. V. Shende, et al. Synthesis of Reversible Logic Circuits. IEEE TCAD, 22(6):710-722, June 2003.
15. P. W. Shor. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. of Computing, 26:1484-1509, 1997.
16. G. Yang, et al. Bi-Directional Synthesis of 4-Bit Reversible Circuits. Computer J., 51(2):207-215, March 2008.
17. T. Wang. Integer Hash Function. Version 3.1, March 2007. http://www.concentric.net/~Ttwang/tech/inthash.htm