Skip to main content

Improving the Designs of ESOP-Based Reversible Circuits

  • Chapter
  • First Online:

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 577))

Abstract

Finding ways to transform traditional circuits to energy efficient designs have found immense interest in present day’s design industry and the quest of attaining low power consuming design techniques breeds the concept of reversible circuit design. One such computing paradigm that enforces reversibility in design architecture is quantum computation. Since a couple of years, several researches are going to make the reversible designs improved further and one such way of making reversible circuit efficient is to reduce the cost of the design. Aiming to build cost-efficient architectures, here in the work, we develop an improved synthesis approach for reversible circuit. The synthesis process has two phases. In the first phase, we present a best neighbour based circuit design scheme, where the functional outputs share the common data with their immediate neighbors and form shared designs. In the next phase, a circuit optimization algorithm runs and the circuits generated in previous phase pass through it for possible improvements in the design. The developed technique has been tested over different benchmark functions and the experiments show that the synthesis process followed by the optimization scheme substantially improves the design cost. To this extent, a comparative study with related existing techniques is undertaken and a brief analysis over the design approach is summarized at the end of the work.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Landauer R (1961) Irreversibility and heat generation in the computing process. IBM J Res Dev 5:183

    Article  MathSciNet  Google Scholar 

  2. Bennett CH (1973) Logical reversibility of computation. J Res Dev 17(6):525–532

    MathSciNet  MATH  Google Scholar 

  3. Nielsen M, Chuang I (200) Quantum computation and quantum information. Cambridge University Press, Cambridge

    Google Scholar 

  4. Shor PW (1994) Algorithms for quantum computation: discrete logarithms and factoring. In: Foundations of Computer Science, pp 124–134

    Google Scholar 

  5. Grover LK (1996) A fast quantum mechanical algorithm for database search. In: Theory of Computing, pp 212–219

    Google Scholar 

  6. Veldhorst M et al (2014) A two qubit logic gate in silicon. Nature

    Google Scholar 

  7. Ghosh J et al (2013) High-fidelity CZ gate for resonator based superconducting quantum computers. Phys Rev A 87:022309

    Google Scholar 

  8. Barends R et al (2014) Logic gates at the surface code threshold: Superconducting qubits poised for fault-tolerant quantum computing. Nature 58:500–503

    Google Scholar 

  9. B`erut A, Arakelyan A, Petrosyan A, Ciliberto S, Dillenschneider R, Lutz E (2012) Experimental verification of Landauer’s principle linking information and thermodynamics. Nature 483(3):187–189

    Article  Google Scholar 

  10. Golubitsky O, Falconer SM, Maslov D (2010) Synthesis of the optimal 4-bit reversible circuits. In: Proceedings of the 47th design automation conference. ACM, pp 653–656

    Google Scholar 

  11. Grobe D, Wille R, Dueck GW, Drechsler R (2008) Ex act multiple-control toffoli network synthesis with sat techniques., IEEE Trans Comput-Aided

    Google Scholar 

  12. Datta K, Rathi G, Sengupta I, Rahaman H (2012) Synthesis of reversible circuits using heuristic search method. In: 2012 25th international conference on VLSI design (VLSID). IEEE, pp 328–333

    Google Scholar 

  13. Li M, Zheng Y, Hsiao MS, Huang C (2010) Reversible logic synthesis through ant colony optimization. In: Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, pp 307–310

    Google Scholar 

  14. Abdessaied N, Soeken M, Dueck GW, Drechsler R (2015) Reversible circuit rewriting with simulated annealing. In: 2015 IFIP/IEEE international conference on very large scale integration (VLSI-SoC). IEEE, pp 286–291

    Google Scholar 

  15. Wille R, Drechsler R (2009) BDD-based synthesis of reversible logic for large functions. In: Design automation conference, pp 270–275

    Google Scholar 

  16. Bandyopadhyay C, Rahaman H, Drechesler R (2014) A cube pairing approach for synthesis of esop-based reversible circuit. In: IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL)-2014, Germany, pp 109–114. https://doi.org/10.1109/ISMVL.2014.27

  17. Toffoli T (1980) Reversible computing. In Tech. Memo-MIT/LCS/TM-151, MIT Lab for Comp Sci

    Google Scholar 

  18. Feynman R (1986) Quantum mechanical computers. In: Foundations of Physics, vol 16, pp 507–531. (Originally appeared in optics news, February 1985)

    Google Scholar 

  19. Golubitsky O, Falconer SM, Maslov D (2010) Synthesis of the optimal 4-bit reversible circuits. In: Proceedings of the 47th design automation conference. ACM, pp 653–656 2010

    Google Scholar 

  20. Maslov D (2002) Reversible logic synthesis benchmark page. http://www.cs.uvic.ca/dmaslov/

  21. Miller D, Soeken M, Drechsler R (2014) Mapping NCV circuits to optimized clifford + t circuits. Revers Comput

    Google Scholar 

  22. Wille R, Lye A, Drechsler R (2014) Exact reordering of circuit lines for nearest neighbor quantum architectures. IEEE Trans Comput Aided Des Integr Circuits Syst

    Google Scholar 

  23. Fazel K, Thornton M, Rice JE (2007) ESOP based Toffoli gate cascade generation. In: PACRIM, pp 206–209

    Google Scholar 

  24. Rice JE, Suen V (2010) Using autocorrelation coefficient-based cost functions in ESOP-based Toffoli gate cascade generation. In: CCECE, pp 1–6

    Google Scholar 

  25. Rice JE, Nayeem NM (2011) Ordering techniques for ESOP-based Toffoli cascade generation. In: PacRim, pp 274–279

    Google Scholar 

  26. Nayeem NM, Rice JE (2011) A shared-cube approach to ESOP-based synthesis of reversible logic. Facta Univ Ser: Electron Energ 24:385–402

    Article  Google Scholar 

  27. Datta K, Rathi G, Sengupta I, Rahaman H (2013) An improved reversible circuit synthesis approach using clustering of ESOP cubes. In: 18th Reed-Muller workshop

    Google Scholar 

  28. Jegier J, Kerntopf P (2017) Application of the maximum weighted matching to quantum cost reduction in reversible circuits. In: MIXDES 24, pp 224–228

    Google Scholar 

  29. Mishchenko A, Perkowski M (2001) Fast heuristic minimization of exclusive-sums-of-products. In: 6th Reed-Muller workshop, pp 242–250

    Google Scholar 

  30. Wille R, Grosse D, Teuver L, Dueck GW, Drechslere R (2008) Revlib: an online resources for reversible functions and reversible circuits. In: ISMVL

    Google Scholar 

  31. Gupta P, Agrawal A, Jha NK (2006) An algorithm for synthesis of reversible logic circuits. IEEE Trans CAD 25(11):2317–2330

    Article  Google Scholar 

  32. Maslov D, Dueck GW, Miller DM (2007) Techniques for the synthesis of reversible toffoli networks. ACM Trans Des Autom Electron Syst 12(4)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to C. Bandyopadhyay .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Singapore Pte Ltd.

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Bandyopadhyay, C., Parekh, S., Roy, D., Rahaman, H. (2020). Improving the Designs of ESOP-Based Reversible Circuits. In: Singh, A., Fujita, M., Mohan, A. (eds) Design and Testing of Reversible Logic. Lecture Notes in Electrical Engineering, vol 577. Springer, Singapore. https://doi.org/10.1007/978-981-13-8821-7_4

Download citation

  • DOI: https://doi.org/10.1007/978-981-13-8821-7_4

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-13-8820-0

  • Online ISBN: 978-981-13-8821-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics