Abstract
The development of approaches for synthesis and optimization of reversible circuits received significant attention in the past. This is partly due to the increasing emphasis on low power design methodologies, and partly motivated by recent works in quantum computation. While most of them relied on a gate library composed of multiple-control Toffoli (MCT) gates with positive control lines, some initial works also exist which additionally incorporate negative control lines. This usually leads to smaller circuits with respect to the number of gates as well as the corresponding quantum costs. However, despite these benefits, negative control lines have hardly been considered in post-synthesis optimization of reversible circuits so far. In this paper, we address this issue. We are presenting an optimization scheme inspired by template matching which explicitly makes use of negative control lines. Experimental evaluations demonstrate that exploiting negative control lines in fact lead to a reduction in the number of gates and the quantum costs by up to 60% and 25%, respectively.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Landauer, R.: Irreversibility and heat generation in computing process. Journal of IBM Research and Development 5, 183–191 (1961)
Bennett, C.H.: Logical reversibility of computation. Journal of IBM Research and Development 17, 525–532 (1973)
Wille, R., Drechsler, R., Oswald, C., Garcia-Ortiz, A.: Automatic design of low-power encoders using reversible circuit synthesis. In: Design Automation Test in Europe, pp. 208–212 (2012)
Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge University Press (2000)
Maslov, D., Dueck, G.W., Miller, D.M.: Techniques for the synthesis of reversible Tofolli networks. ACM Trans. on Design Automation of Electronic Systems 12(4), 42.1–42.28 (2007)
Wille, R., Drechsler, R.: BDD-based synthesis of reversible logic for large functions. In: Design Automation Conference, pp. 270–275 (2009)
Grosse, D., Wille, R., Dueck, G.W., Drechsler, R.: Exact multiple control Toffoli network synthesis with SAT techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 28(5), 703–715 (2009)
Datta, K., Rathi, G., Sengupta, I., Rahaman, H.: Synthesis of reversible circuits using heuristic search method. In: Intl. Conference on VLSI Design, pp. 328–333 (2012)
Maslov, D., Dueck, G.W., Miller, D.M.: Toffoli network synthesis with templates. IEEE Trans. on CAD of Integrated Circuits and Systems 24(6), 807–817 (2005)
Soeken, M., Wille, R., Dueck, G.W., Drechsler, R.: Window optimization of reversible and quantum circuits. In: Symposium on Design and Diagnostics of Electronic Circuits and Systems, pp. 341–345 (2010)
Toffoli, T.: Reversible computing. In: de Bakker, J., van Leeuwen, J. (eds.) Automata, Languages and Programming. LNCS, vol. 85, pp. 632–644. Springer, Heidelberg (1980)
Fredkin, E., Toffoli, T.: Conservative logic. Inernational Journal of Theoretical Physics 21, 219–253 (1982)
Barenco, A., Bennett, H.H., Cleve, R., DiVinchenzo, D.P., Margolus, N., Shor, P., Sleator, T., Smolin, J.A., Weinfurter, H.: Elementary gates for quantum computation. Physical Review A (Atomic, Molecular, and Optical Physics) 52(5), 3457–3467 (1995)
Soeken, M., Frehse, S., Wille, R., Drechsler, R.: RevKit: An open source toolkit for the design of reversible circuits. In: De Vos, A., Wille, R. (eds.) RC 2011. LNCS, vol. 7165, pp. 64–76. Springer, Heidelberg (2012)
Michael Miller, D., Sasanian, Z.: Recent developments on mapping reversible circuits to quantum gate libraries. In: Int’l Symposium on Electronic System Design, ISED (December 2012)
Fazel, K., Thornton, M.A., Rice, J.E.: ESOP-based Toffoli gate cascade generation. In: Pacific Rim Conference on Communications, Computers and Signal Processing, pp. 206–209 (2007)
Sanaee, Y., Dueck, G.W.: ESOP-based Toffoli network generation with transformations. In: Intl. Symposium on Multiple-Valued Logic, pp. 276–281 (2010)
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, Part II. LNCS, vol. 6625, pp. 151–161. Springer, Heidelberg (2011)
Soeken, M., Wille, R., Hilken, C., Przigoda, N., Drechsler, R.: Synthesis of reversible circuits with minimal lines for large functions. In: Asia and South Pacific Design Automation Conference, pp. 85–92 (2012)
Wille, R., Soeken, M., Przigoda, N., Drechsler, R.: Exact synthesis of Toffoli gate circuits with negative control lines. In: Intl. Symposium on Multi-valued Logic (ISMVL), pp. 69–74 (2012)
Datta, K., Sengupta, I., Rahaman, H.: Group theory based reversible logic synthesis. In: International Conference on Computers and Devices for Communication, CODEC (December 2012)
Wille, R., Grosse, D., Teuber, L., Dueck, G.W., Drechsler, R.: Revlib: An online resource for reversible functions and reversible circuits. In: Intl Symp. on Multi-Valued Logic, pp. 220–225 (2008)
Moraga, C.: Hybrid Reed Muller – de Morgan expressions for reversible computing circuits. In: Workshop on Reversible Computing (RC), pp. 155–162 (July 2011)
Sasanian, Z., Wille, R., Miller, M.: Realizing reversible circuits using a new class of quantum gates. In: Design Automation Conference 2012, pp. 36–41 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Datta, K., Rathi, G., Wille, R., Sengupta, I., Rahaman, H., Drechsler, R. (2013). Exploiting Negative Control Lines in the Optimization of Reversible Circuits. In: Dueck, G.W., Miller, D.M. (eds) Reversible Computation. RC 2013. Lecture Notes in Computer Science, vol 7948. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38986-3_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-38986-3_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38985-6
Online ISBN: 978-3-642-38986-3
eBook Packages: Computer ScienceComputer Science (R0)