A constructive algorithm for reversible logic synthesis

2006 IEEE Congress on Evolutionary Computation, CEC 2006

Volumn , Issue , 2006, Pages 2416-2421

  Yang, Guowu ^a   Xie, Fei ^a   Song, Xiaoyu ^a   Hung, William N N ^a   Perkowski, Marek A ^a  

^a Department of Electrical and Computer Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ASYMPTOTIC ANALYSIS; COMPUTATIONAL COMPLEXITY; FUNCTIONS; LOGIC CIRCUITS; LOGIC GATES;

QUBITS; REVERSIBLE FUNCTIONS; REVERSIBLE LOGIC; SYNTHESIS ALGORITHMS;

REVERSE ENGINEERING;

EID: 34547356598     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information. Cambridge University Press, December 2000.
2. K. Iwama, Y. Kambayashi, and S. Yamashita, "Transformation rules for designing CNOT-based quantum circuits," in Proc. DAC, 2002, p. 28.4.
3. R. Landauer, "Irreversibility and heat generation in the computational process," IBM Journal of Research and Development, vol. 5, pp. 183191, 1961.
4. C. Bennett, "Logical reversibility of computation," IBM Journal of Research and Development, vol. 17, pp. 525-532, 1973.
5. E. Fredkin and T. Toffoli, "Conservative logic," Int. Journal of Theoretical Physics, vol. 21, pp. 219-253, 1982.
6. D. Copsey, M. Oskin, T. Metodiev, F. T. Chong, and I. L. Chuang, "The effect of communication costs in solid-state quantum, architectures," in Symposium on Parallel Architectures and Applications (SPAA), 2003.
7. L. M. K. Vandersypen and I. L. Chuang, "NMR techniques for quantum, control and computation," Reviews of Modern. Physics, vol. 76, no. 4, pp. 1037-1069, October 2004.
8. L. Xiao and J. A. Jones, "Robust Logic Gates and Realistic Quantum. Computation," 2005. [Online]. Available: http://aix.iv.org/ abs/quant-ph/0511100
9. D. Deutsch, "Quantum computational networks," Royal Society of London Series A, vol. 425, pp. 73-90, 1989.
10. D. Maslov and D. M. Miller, "Comparison of the Cost Metrics for Reversible and Quantum Logic Synthesis," 2005. [Online]. Available: http://arxiv.org/abs/quant-ph/0511008
11. G. W. Dueck. and D. Maslov, "Reversible function synthesis with minimum garbage outputs," in Proc. 6th Int. Symp. Representations and Methodology of Future Computing Technologies (RM2003), 2003.
12. P. Kerntopf, "Maximally efficient binary and multi-valued reversible gates," in Pmc. ULSI Workshop, May 2001, pp. 55-58.
13. _, "Synthesis of multipurpose reversible logic gates," in. Proc. EUROMICRO Symp. Digital. Systems Design, 2002, pp. 259-266.
14. A. Khlopotine, M. Perkowski, and P. Kerntopf, "Reversible logic synthesis by gate composition," in Proc. IEEE/ACM Int. Workshop on Logic Synthesis, 2002, pp. 261-266.
15. D. Maslov and G. W. Dueck, "Garbage in. reversible designs of multiple-output functions," in Proc. 6th Int. Symp. Representations and Methodology of Future Computing Technologies (RM2003), 2003.
16. A. Mishchenko and M. Perkowski, "Logic synthesis of reversible wave cascades," in. Proc. IEEE/ACM International Workshop on Logic and Synthesis, June 2002, pp. 197-202.
17. P. Picton, "A universal architecture for multiple-valued reversible logic," Mutiple Valued Logic: an Int. Journal, vol. 5, pp. 27-37, 2000.
18. T. Toffoli, "Bicontinuous extensions of invertible combinatorial functions," Mathematical Systems Theory, vol. 14, pp. 13-23, 1981.
19. W. N. N. Hung, X. Song, G. Yang, J. Yang, and M. Perkowski, "Quantum. Logic Synthesis by Symbolic Reachability Analysis," in Design Automation Conference (DAC), 2004, pp. 838-841.
20. G. Yang, W. N. N. Hung, X. Song, and U. Perkowski, "MajorityBased Reversible Logic Gates," Theoretical Computer Science, vol. 334, no. 1-3, pp. 295-274, April 2005. [Online]. Available: http://dx.doi.Org/10.1016/j. tcs.2004.12.026
21. X. Song et al., "Algebraic Characteristics of Reversible Gates," Theory of Computing Systems, vol. 39, no. 2, pp. 311-319, May-April 2005.
22. G. Yang, X. Song, W. N. N. Hung, and M. Perkowski, "Fast Synthesis of Exact Minimal Reversible Circuits using Group Theory," in ACM/IEEE Asia and South Pacific Design Automation Conference (ASP-DAC), 2005, pp. 1002-1005.
23. J. D. Dixon and B. Mortimer, Permutation Groups. New York: Springer, 1996.
24. V. V. Shende, A. K. Prasad, I. L. Markov, and J. P. Hayes, "Synthesis of reversible logic gates," IEEE Trans. CAD, vol. 22, no. 6, pp. 710-722, June 2003.
25. A. De Vos, "Reversible computing," Qutantum Electronics, vol. 23, pp. 1-49, 1999.
26. L. Storaie, A. De Vos, and G. Jacobs, "Group theoretical aspects of reversible logic gates," Journal of Universal Computer Science, vol. 5, pp. 307-321, 1999.
27. D. M. Miller, D. Maslov, and G. W. Dueck, "A transformation based algorithm, for reversible logic synthesis," in Proc. DAC, 2003, pp. 318-323.
28. K. P. Bogart, Introductory Combinatorics. Harcourt Brace Jovanovich, 1990.