Abstract
This paper introduces a broad concept of don’t cares in reversible and quantum logic circuits. Don’t cares are classified into three categories: inputs, outputs, and conditions. Some heuristic methods to use these don’t cares, when an optimization algorithm such as genetic algorithm is used, are also presented. We show that, these methods decrease the quantum cost of the reversible or quantum logic circuit, as well as the design time of the resulting circuit. Some examples are also synthesized and optimized using the don’t care concept and genetic algorithms.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Barenco A., Bennett C.H., Cleve R., DiVincenzo D.P., Margolus N., Shor P., Sleator T., Smolin J.A., Weinfurter H.: Elementary gates for quantum computation. Phys. Rev. A 52(5), 3457–3467 (1995)
Bennett C.H.: Logical reversibility of computation. IBM J. Res. Dev. 17(6), 525–532 (1973)
Goldberg D.E.: Genetic Algorithms in Search, Optimization, and Machine Learning. Addison-Wesley, Reading, MA (1989) ISBN 0201157675
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)
Gupta P., Agrawal A., Jha N.K.: An algorithm for synthesis of reversible logic circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(11), 2317–2330 (2006)
Haghprast M., Navi K.: A novel reversible BCD adder for nanotechnology based systems. Am. J.~Appl. Sci. 5(3), 282–288 (2008)
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
Landauer R.: Irreversibility and heat generation in the computing processes. IBM J. Res. Dev. 5, 183–191 (1961)
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)
Lukac M., Perkowski M., Gol H.: Evolutionary approach to quantum and reversible circuits synthesis. Artif. Intell. Rev. 20(3–4), 361–417 (2003)
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)
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)
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)
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)
Shende V.V., Markov I.L.: Quantum circuits for incompletely specified two-qubit operators. Quantum Inf. Comput. 5(1), 49–57 (2005)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Mohammadi, M., Eshghi, M. Heuristic methods to use don’t cares in automated design of reversible and quantum logic circuits. Quantum Inf Process 7, 175–192 (2008). https://doi.org/10.1007/s11128-008-0081-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11128-008-0081-x