Heuristic methods to use don't cares in automated design of reversible and quantum logic circuits

Quantum Information Processing

Volumn 7, Issue 4, 2008, Pages 175-192

  Mohammadi, Majid ^a   Eshghi, Mohammad ^a  

^a SHAHID BEHESHTI UNIVERSITY   (Iran)

Author keywords

Genetic algorithm; Optimization; Quantum circuit; Reversible logic; Synthesis

Indexed keywords

AUTOMATED DESIGN; DESIGN TIME; GENETIC ALGORITHM; OPTIMIZATION ALGORITHMS; QUANTUM CIRCUIT; QUANTUM LOGIC; REVERSIBLE LOGIC; SYNTHESIS;

ALGORITHMS; DIESEL ENGINES; GENETIC ALGORITHMS; HEURISTIC ALGORITHMS; HEURISTIC METHODS; HEURISTIC PROGRAMMING; LOGIC DESIGN; NETWORKS (CIRCUITS); OPTIMIZATION; QUANTUM THEORY; SWITCHING CIRCUITS; SWITCHING THEORY;

LOGIC CIRCUITS;

EID: 52549094794     PISSN: 15700755     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11128-008-0081-x     Document Type: Article

References (15)

1. A. Barenco C.H. Bennett R. Cleve D.P. DiVincenzo N. Margolus P. Shor T. Sleator J.A. Smolin H. Weinfurter 1995 Elementary gates for quantum computation Phys. Rev. A 52 5 3457 3467
2. C.H. Bennett 1973 Logical reversibility of computation IBM J. Res. Dev. 17 6 525 532
3. Goldberg D.E.: Genetic Algorithms in Search, Optimization, and Machine Learning. Addison-Wesley, Reading, MA (1989) ISBN 0201157675
4. Grobe, D., Dueck, G.W., Chen, X., Drechsler, R.: Exact SAT-based Toffoli network synthesis. In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI (GLSVLSI'07), Stresa-Lago Maggiore, Italy, pp. 96-101 (2007)
5. P. Gupta A. Agrawal N.K. Jha 2006 An algorithm for synthesis of reversible logic circuits IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 11 2317 2330
6. M. Haghprast K. Navi 2008 A novel reversible BCD adder for nanotechnology based systems Am. J.~Appl. Sci. 5 3 282 288
7. Kerntopf, P.: A new heuristic algorithm for reversible logic synthesis. In: Annual ACM IEEE Design Automation Conference. Proceedings of the 41st Annual Conference on Design Automation, San Diego, CA, USA, pp. 834-837 (2004). ISBN 1-58113-828-8
8. R. Landauer 1961 Irreversibility and heat generation in the computing processes IBM J. Res. Dev. 5 183 191
9. Lee, S., Lee, S.J., Kim, T., Lee, J.-S., Biamonte, J., Perkowski, M.: The cost of quantum gate primitives. J. Multi-Valued Logic Soft Comput. 12(5-6) (2006)
10. M. Lukac M. Perkowski H. Gol 2003 Evolutionary approach to quantum and reversible circuits synthesis Artif. Intell. Rev. 20 3-4 361 417
11. Lukac, M., Pivtoraiko, M., Mishchenko, A., Perkowski, M.: Automated synthesis of generalized reversible cascades using genetic algorithms. In: Proceedings of the Fifth International Workshop on Boolean Problems, Freiberg, Sachsen, Germany, 19-20 September, pp. 33-45 (2006)
12. Maslov, D., Dueck, G.W.: Garbage in reversible design of multiple output functions. In: 6th International Symposium on Representations and Methodology of Future Computing Technologies, Trier, Germany, pp. 162-170 (2003)
13. Miller, D.M., Dueck, G.W., Maslov, D.: A transformation based algorithm for reversible logic synthesis. In: Proceedings of the 40th Design Automation Conference, Anaheim, CA, pp. 318-323 (2003)
14. Mohamadi, M., Eshghi, M., Navi, K.: Optimizing the reversible full adder circuit. In: Proceedings of the IEEE East-West on Design and Tests (EWDTS), Yerevan, Armenia, 7-10 September, pp. 312-315 (2007)
15. V.V. Shende I.L. Markov 2005 Quantum circuits for incompletely specified two-qubit operators Quantum Inf. Comput. 5 1 49 57