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, access via your institution.
Buying options









References
Landauer R (1961) Irreversibility and heat generation in the computing process. IBM J Res Dev 5:183
Bennett CH (1973) Logical reversibility of computation. J Res Dev 17(6):525–532
Nielsen M, Chuang I (200) Quantum computation and quantum information. Cambridge University Press, Cambridge
Shor PW (1994) Algorithms for quantum computation: discrete logarithms and factoring. In: Foundations of Computer Science, pp 124–134
Grover LK (1996) A fast quantum mechanical algorithm for database search. In: Theory of Computing, pp 212–219
Veldhorst M et al (2014) A two qubit logic gate in silicon. Nature
Ghosh J et al (2013) High-fidelity CZ gate for resonator based superconducting quantum computers. Phys Rev A 87:022309
Barends R et al (2014) Logic gates at the surface code threshold: Superconducting qubits poised for fault-tolerant quantum computing. Nature 58:500–503
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
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
Grobe D, Wille R, Dueck GW, Drechsler R (2008) Ex act multiple-control toffoli network synthesis with sat techniques., IEEE Trans Comput-Aided
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
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
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
Wille R, Drechsler R (2009) BDD-based synthesis of reversible logic for large functions. In: Design automation conference, pp 270–275
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
Toffoli T (1980) Reversible computing. In Tech. Memo-MIT/LCS/TM-151, MIT Lab for Comp Sci
Feynman R (1986) Quantum mechanical computers. In: Foundations of Physics, vol 16, pp 507–531. (Originally appeared in optics news, February 1985)
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
Maslov D (2002) Reversible logic synthesis benchmark page. http://www.cs.uvic.ca/dmaslov/
Miller D, Soeken M, Drechsler R (2014) Mapping NCV circuits to optimized clifford + t circuits. Revers Comput
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
Fazel K, Thornton M, Rice JE (2007) ESOP based Toffoli gate cascade generation. In: PACRIM, pp 206–209
Rice JE, Suen V (2010) Using autocorrelation coefficient-based cost functions in ESOP-based Toffoli gate cascade generation. In: CCECE, pp 1–6
Rice JE, Nayeem NM (2011) Ordering techniques for ESOP-based Toffoli cascade generation. In: PacRim, pp 274–279
Nayeem NM, Rice JE (2011) A shared-cube approach to ESOP-based synthesis of reversible logic. Facta Univ Ser: Electron Energ 24:385–402
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
Jegier J, Kerntopf P (2017) Application of the maximum weighted matching to quantum cost reduction in reversible circuits. In: MIXDES 24, pp 224–228
Mishchenko A, Perkowski M (2001) Fast heuristic minimization of exclusive-sums-of-products. In: 6th Reed-Muller workshop, pp 242–250
Wille R, Grosse D, Teuver L, Dueck GW, Drechslere R (2008) Revlib: an online resources for reversible functions and reversible circuits. In: ISMVL
Gupta P, Agrawal A, Jha NK (2006) An algorithm for synthesis of reversible logic circuits. IEEE Trans CAD 25(11):2317–2330
Maslov D, Dueck GW, Miller DM (2007) Techniques for the synthesis of reversible toffoli networks. ACM Trans Des Autom Electron Syst 12(4)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Singapore Pte Ltd.
About this chapter
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)