Abstract
Reversible computation recently gained a lot of interest due to applications in areas like quantum computation and low power design. Due to its special properties, the established circuit design flow cannot simply be applied to reversible logic. In this work, we consider hardware description languages for the scalable design and synthesis of reversible circuits. Two complementary directions are discussed, namely (1) exploiting the conventional design flow and mapping the result to a reversible circuit, and (2) developing an entirely new design flow, which considers reversibility right from the beginning.
This work was supported by the Graduate School SyDe, funded by the German Excellence Initiative within the University of Bremen’s institutional strategy.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge Univ. Press (2000)
Berut, A., Arakelyan, A., Petrosyan, A., Ciliberto, S., Dillenschneider, R., Lutz, E.: Experimental verification of Landauer’s principle linking information and thermodynamics. Nature 483 (2012) 187–189
Patra, P., Fussell, D.: On efficient adiabatic design of MOS circuits. In: Workshop on Physics and Computation, Boston (1996) 260–269
Wille, R., Offermann, S., Drechsler, R.: SyReC: a programming language for synthesis of reversible circuits. In: Forum on Specification & Design Languages. (2010) 184–189
Thomsen, M.K.: A functional language for describing reversible logic. In: Forum on Specification & Design Languages. (2012) 135–142
Wille, R., Soeken, M., Große, D., Schönborn, E., Drechsler, R.: Designing a RISC CPU in Reversible Logic. In: Int’l Symp. on Multiple-Valued Logic. (May 2011) 170–175
Wille, R., Soeken, M., Schöonborn, E., Drechsler, R.: Circuit line minimization in the HDL-based synthesis of reversible logic. In: IEEE Annual Symposium on VLSI. (2012) 213–218
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Schönborn, E., Drechsler, R. (2015). Design and Synthesis of Reversible Circuits using Hardware Description Languages. In: Drechsler, R., Kühne, U. (eds) Formal Modeling and Verification of Cyber-Physical Systems. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-09994-7_18
Download citation
DOI: https://doi.org/10.1007/978-3-658-09994-7_18
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-09993-0
Online ISBN: 978-3-658-09994-7
eBook Packages: Computer ScienceComputer Science (R0)