Rule-based optimization of reversible circuits

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn , Issue , 2010, Pages 849-854

  Arabzadeh, Mona ^a   Saeedi, Mehdi ^a   Zamani, Morteza Saheb ^a  

^a AMIRKABIR UNIVERSITY OF TECHNOLOGY   (Iran)

Author keywords

[No Author keywords available]

Indexed keywords

LOW-POWER DESIGN; NOT GATE; OPTIMIZATION APPROACH; QUANTUM COMPUTATION; RESEARCH AREAS; REVERSIBLE CIRCUITS; REVERSIBLE LOGIC; RULE BASED; SET OF RULES; SUB-CIRCUITS; SYNTHESIS ALGORITHMS; TOFFOLI GATES;

COMPUTATIONAL LINGUISTICS; COMPUTER AIDED DESIGN; DIGITAL INTEGRATED CIRCUITS; QUANTUM COMPUTERS; SYNTHESIS (CHEMICAL);

OPTIMIZATION;

EID: 77951232904     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASPDAC.2010.5419684     Document Type: Conference Paper

References (21)

1. R. Landauer. Irreversibility and heat generation in the computing process. IBM Journal of Research and Development, 5:183-191, July 1961.
2. G. Schrom. Ultra-Low-Power CMOS Technology. PhD thesis, Technischen Universitat Wien, June 1998.
3. M. Nielsen and I. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
4. K. Iwama, Y. Kambayashi, and S. Yamashita. Transformation rules for designing cnot-based quantum circuits. Design Automation Conference, pages 419-424, 2002.
5. D. M. Miller, D. Maslov, and G. W. Dueck. A transformation based algorithm for reversible logic synthesis. Design Automation Conference, pages 318-323, 2003.
6. D. Maslov, G.W. Dueck, and D. M. Miller. Techniques for the synthesis of reversible Toffoli networks. ACM Trans. Des. Autom. Electron. Syst., 12(4):42, 2007.
7. D. Maslov, C. Young, D. M. Miller, and G. W. Dueck. Quantum circuit simplification using templates. Design, Automation and Test in Europe, pages 1208-1213, March 2005.
8. D. Maslov, G. W. Dueck, and D. Michael Miller. Toffoli network synthesis with templates. IEEE Trans. on CAD, 24(6):807-817, 2005.
9. A. K. Prasad, V. V. Shende, K. N. Patel, I. L. Markov, and J. P. Hayes. Data structures and algorithms for simplifying reversible circuits. J. Emerg. Technol. Comput. Syst., 2(4), October 2006.
10. D. Maslov, G. W. Dueck, D. M. Miller, and C. Negrevergne. Quantum circuit simplification and level compaction. IEEE Trans. on CAD, 27(3):436-444, March 2008.
11. M. Saeedi, M. Sedighi, and M. Saheb Zamani. A novel synthesis algorithm for reversible circuits. IEEE/ACM International Conference on Computer-Aided Design, pages 65-68, 2007.
12. R. Wille and R. Drechsler. Effect of BDD optimization on synthesis of reversible and quantum logic. Workshop on Reversible Computation, 2009.
13. P. Gupta, A. Agrawal, and N. K. Jha. An algorithm for synthesis of reversible logic circuits. IEEE Trans. on CAD, 25(11):2317-2330, 2006.
14. M. Saeedi, M. Saheb Zamani, and M. Sedighi. On the behavior of substitution-based reversible circuit synthesis algorithms: Investigation and improvement. International Symposium on VLSI, pages 428-436, 2007.
15. R. Wille, D. Große, G.W. Dueck, and R. Drechsler. Reversible logic synthesis with output permutation. International Conference on VLSI Design, pages 189-194, 2009.
16. S. Lee, S. J. Lee, T. Kim, J. S. Lee, J. Biamonte, and M. Perkowski. The cost of quantum gate primitives. Journal of Multiple-Valued Logic and Soft Computing, 12(5-6), 2006.
17. A. Barenco et al. Elementary gates for quantum computation. APS Physical Review A, 52:3457-3467, 1995.
18. C. Negrevergne et al. Benchmarking quantum control methods on a 12- qubit system. Physical Review Letters, 96(17), 2006.
19. D. Maslov and D. M. Miller. Comparison of the cost metrics through investigation of the relation between optimal ncv and optimal nct 3-qubit reversible circuits. IET Computers and Digital Techniques, 1(2):98-104, 2007.
20. S.-A. Wang, C.-Y. Lu, I-M. Tsai, and S.-Y. Kuo. Modified karnaugh map for quantum boolean circuits construction. IEEE Conference on Nanotechnology, 2:651-654, 2003.
21. D. Maslov, G.W. Dueck, and N. Scott. Reversible logic synthesis benchmarks page. http://webhome.cs.uvic.ca/~dmaslov.