Skip to main content

2017 | OriginalPaper | Buchkapitel

An ESOP Based Cube Decomposition Technique for Reversible Circuits

verfasst von : Sai Phaneendra Parlapalli, Chetan Vudadha, M. B. Srinivas

Erschienen in: Reversible Computation

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Reversible logic finds applications in emerging technologies such as quantum computing, optical computing, etc. This has motivated research into development of synthesis and optimization algorithms for reversible circuits. In this paper, a set of rules is presented for the decomposition of a pair of multi-control Toffoli gates (MCT) to reduce the quantum cost of reversible circuits. These rules find pairs of MCT gates, which when decomposed to a network of smaller gates, result in reduced quantum cost. This technique is used in conjunction with an Exclusive-OR Sum-Of-Product (ESOP) based reversible circuit synthesis algorithm to check its efficiency. Results indicate that there is a reduction in quantum cost of several benchmark circuits when compared to the known ESOP based synthesis algorithms.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Bandyopadhyay, C., Rahaman, H., Drechsler, R.: Improved cube list based cube pairing approach for synthesis of ESOP based reversible logic. In: Gavrilova, M.L., Tan, C.J.K., Thapliyal, H., Ranganathan, N. (eds.) Transactions on Computational Science XXIV. LNCS, vol. 8911, pp. 129–146. Springer, Heidelberg (2014). doi:10.1007/978-3-662-45711-5_8 Bandyopadhyay, C., Rahaman, H., Drechsler, R.: Improved cube list based cube pairing approach for synthesis of ESOP based reversible logic. In: Gavrilova, M.L., Tan, C.J.K., Thapliyal, H., Ranganathan, N. (eds.) Transactions on Computational Science XXIV. LNCS, vol. 8911, pp. 129–146. Springer, Heidelberg (2014). doi:10.​1007/​978-3-662-45711-5_​8
2.
Zurück zum Zitat 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 (1995)CrossRef 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 (1995)CrossRef
3.
Zurück zum Zitat Datta, K., Gokhale, A., Sengupta, I., Rahaman, H.: An ESOP-based reversible circuit synthesis flow using simulated annealing. In: Chaki, R., Saeed, K., Choudhury, S., Chaki, N. (eds.) Applied Computation and Security Systems. AISC, vol. 305, pp. 131–144. Springer, New Delhi (2015). doi:10.1007/978-81-322-1988-0_8 Datta, K., Gokhale, A., Sengupta, I., Rahaman, H.: An ESOP-based reversible circuit synthesis flow using simulated annealing. In: Chaki, R., Saeed, K., Choudhury, S., Chaki, N. (eds.) Applied Computation and Security Systems. AISC, vol. 305, pp. 131–144. Springer, New Delhi (2015). doi:10.​1007/​978-81-322-1988-0_​8
4.
Zurück zum Zitat Drechsler, R., Finder, A., Wille, R.: Improving ESOP-based synthesis of reversible logic using evolutionary algorithms. In: Di Chio, C., et al. (eds.) EvoApplications 2011. LNCS, vol. 6625, pp. 151–161. Springer, Heidelberg (2011). doi:10.1007/978-3-642-20520-0_16 CrossRef Drechsler, R., Finder, A., Wille, R.: Improving ESOP-based synthesis of reversible logic using evolutionary algorithms. In: Di Chio, C., et al. (eds.) EvoApplications 2011. LNCS, vol. 6625, pp. 151–161. Springer, Heidelberg (2011). doi:10.​1007/​978-3-642-20520-0_​16 CrossRef
5.
Zurück zum Zitat Fazel, K., Thornton, M., Rice, J.: ESOP-based Toffoli gate cascade generation. In: IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, pp. 206–209 (2007) Fazel, K., Thornton, M., Rice, J.: ESOP-based Toffoli gate cascade generation. In: IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, pp. 206–209 (2007)
7.
Zurück zum Zitat Miller, D.M., Sasanian, Z.: Recent developments on mapping reversible circuits to quantum gate libraries. In: International Symposium on Electronic System Design (ISED), pp. 17–22. IEEE (2012) Miller, D.M., Sasanian, Z.: Recent developments on mapping reversible circuits to quantum gate libraries. In: International Symposium on Electronic System Design (ISED), pp. 17–22. IEEE (2012)
8.
Zurück zum Zitat Mishchenko, A., Perkowski, M.: Fast heuristic minimization of exclusive-sums-of-products. In: Proceedings of the 5th Reed-Muller Workshop, pp. 242–250 (2001) Mishchenko, A., Perkowski, M.: Fast heuristic minimization of exclusive-sums-of-products. In: Proceedings of the 5th Reed-Muller Workshop, pp. 242–250 (2001)
9.
Zurück zum Zitat Nayeem, N.M., Rice, J.E.: A shared-cube approach to ESOP-based synthesis of reversible logic. Facta Univ. Ser. Electron. Energ. 24(3), 385–402 (2011)CrossRef Nayeem, N.M., Rice, J.E.: A shared-cube approach to ESOP-based synthesis of reversible logic. Facta Univ. Ser. Electron. Energ. 24(3), 385–402 (2011)CrossRef
10.
Zurück zum Zitat Rice, J., Fazel, K., Thornton, M., Kent, K.: Toffoli gate cascade generation using ESOP minimization and QMDD-based swapping. In: Proceedings of the Reed-Muller Workshop (RM 2009), pp. 63–72 (2009) Rice, J., Fazel, K., Thornton, M., Kent, K.: Toffoli gate cascade generation using ESOP minimization and QMDD-based swapping. In: Proceedings of the Reed-Muller Workshop (RM 2009), pp. 63–72 (2009)
11.
Zurück zum Zitat Rice, J., Nayeem, N.: Ordering techniques for ESOP-based Toffoli cascade generation. In: IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PacRim), pp. 274–279. IEEE (2011) Rice, J., Nayeem, N.: Ordering techniques for ESOP-based Toffoli cascade generation. In: IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PacRim), pp. 274–279. IEEE (2011)
12.
Zurück zum Zitat Saeedi, M., Markov, I.L.: Synthesis and optimization of reversible circuits - a survey. ACM Comput. Surv. (CSUR) 45(2), 21 (2013)CrossRefMATH Saeedi, M., Markov, I.L.: Synthesis and optimization of reversible circuits - a survey. ACM Comput. Surv. (CSUR) 45(2), 21 (2013)CrossRefMATH
13.
Zurück zum Zitat Sanaee, Y., Dueck, G.W.: ESOP-based Toffoli network generation with transformations. In: 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL), pp. 276–281. IEEE (2010) Sanaee, Y., Dueck, G.W.: ESOP-based Toffoli network generation with transformations. In: 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL), pp. 276–281. IEEE (2010)
14.
Zurück zum Zitat Soeken, M., Frehse, S., Wille, R., Drechsler, R.: RevKit: a toolkit for reversible circuit design. Mult. Valued Log. Soft Comput. 18(1), 55–65 (2012) Soeken, M., Frehse, S., Wille, R., Drechsler, R.: RevKit: a toolkit for reversible circuit design. Mult. Valued Log. Soft Comput. 18(1), 55–65 (2012)
16.
Zurück zum Zitat Wille, R., Grosse, D., Teuber, L., Dueck, G., Drechsler, R.: RevLib: an online resource for reversible functions and reversible circuits. In: 38th International Symposium on Multiple Valued Logic. ISMVL 2008. pp. 220–225, May 2008 Wille, R., Grosse, D., Teuber, L., Dueck, G., Drechsler, R.: RevLib: an online resource for reversible functions and reversible circuits. In: 38th International Symposium on Multiple Valued Logic. ISMVL 2008. pp. 220–225, May 2008
17.
Zurück zum Zitat Wille, R., Drechsler, R.: BDD-based synthesis of reversible logic for large functions. In: Proceedings of the 46th Annual Design Automation Conference, pp. 270–275. ACM (2009) Wille, R., Drechsler, R.: BDD-based synthesis of reversible logic for large functions. In: Proceedings of the 46th Annual Design Automation Conference, pp. 270–275. ACM (2009)
18.
Zurück zum Zitat Wille, R., Drechsler, R.: Towards a Design Flow for Reversible Logic. Springer, Dordrecht (2010)CrossRefMATH Wille, R., Drechsler, R.: Towards a Design Flow for Reversible Logic. Springer, Dordrecht (2010)CrossRefMATH
Metadaten
Titel
An ESOP Based Cube Decomposition Technique for Reversible Circuits
verfasst von
Sai Phaneendra Parlapalli
Chetan Vudadha
M. B. Srinivas
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-59936-6_10

Premium Partner