
Towards a Design Flow for Reversible Logic
Springer (Publisher)
Published on 18. October 2014
Book
Paperback/Softback
XIII, 184 pages
978-94-007-9425-2 (ISBN)
Description
The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor sizes and power dissipation are the major barriers in the development of smaller and more powerful circuits. Reversible logic p- vides an alternative that may overcome many of these problems in the future. For low-power design, reversible logic offers signi?cant advantages since zero power dissipation will only be possible if computation is reversible. Furthermore, quantum computation pro?ts from enhancements in this area, because every quantum circuit is inherently reversible and thus requires reversible descriptions. However, since reversible logic is subject to certain restrictions (e.g. fanout and feedback are not directly allowed), the design of reversible circuits signi?cantly differs from the design of traditional circuits. Nearly all steps in the design ?ow (like synthesis, veri?cation, or debugging) must be redeveloped so that they become applicable to reversible circuits as well. But research in reversible logic is still at the beginning. No continuous design ?ow exists so far. Inthisbook,contributionstoadesign?owforreversiblelogicarepresented.This includes advanced methods for synthesis, optimization, veri?cation, and debugging.
Reviews / Votes
From the reviews:
"This is a book about the present and the future of computing machines. . At the end of the book a list of 144 refs are included giving the reader the possibility to know more than there are in the book. . the book represents an excellent text at a post-graduate level aiming to give to the researchers the basic ideas and techniques in this new emerging domain." (Dumitru Stanomir, Zentralblatt MATH, Vol. 1210, 2011)More details
Edition
2010 ed.
Language
English
Place of publication
Dordrecht
Netherlands
Target group
Professional and scholarly
Research
Illustrations
XIII, 184 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 12 mm
Weight
312 gr
ISBN-13
978-94-007-9425-2 (9789400794252)
DOI
10.1007/978-90-481-9579-4
Schweitzer Classification
Other editions
Additional editions

Robert Wille | Rolf Drechsler
Towards a Design Flow for Reversible Logic
Book
08/2010
Springer
€106.99
Shipment within 15-20 days

Robert Wille | Rolf Drechsler
Towards a Design Flow for Reversible Logic
E-Book
07/2010
1st Edition
Springer
€96.29
Available for download
Persons
Thomas Grurl is a post-doctoral researcher at the University of Applied Sciences Upper Austria (Austria) and completed his PhD in 2023 at the Johannes Kepler University Linz. Before that, he received his BSc and MSc in Secure Information Systems at the University of Applied Sciences Upper Austria in 2015 and 2017, respectively. His research interests include secure information systems, design automation for quantum computing and in this domain specifically noise-aware classical quantum circuit simulation and efficient data structures. In this area, he has published several peer-reviewed papers at international conferences and journals such as the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), the Design, Automation and Test in Europe (DATE) conference, the International Symposium on Multiple-Valued Logic (ISMVL), the conference on VLSI Design, and the International Conference on Computer-Aided Design (ICCAD). For his work, he has won the Best Student Paper Award at the VLSI Design 2023.
Jürgen Fuß studied Mathematics at the Johannes Kepler University Linz, where he has been working as a researcher at the Department of Algebra in group theory for several years after having completed his doctorate. In 2003 he became a Professor of Applied Mathematics and Cryptography at the University of Applied Sciences Upper Austria at Hagenberg, Austria. He was a guest lecturer at Karlstads Universitet in Sweden in 2008 and 2013. He worked in the field of cryptanalytic applications of high performance computing technology and started a research group for quantum computing, quantum computing simulation and post-quantum cryptography in 2017. He loves to work with people from different fields and to contribute, he has thus published in a variety of journals from the International Journal of Algebra and Computation, the Proceedings of the ACM Workshop on Privacy in the Electronic Society, the International Conference on Availability, Reliability and Security (ARES), the IEEE Transactions on Mobile Computing and more.
Robert Wille is a Full and Distinguished Professor at the Technical University of Munich, Germany, and Chief Scientific Officer at the Software Competence Center Hagenberg GmbH, Austria. From 2002 to 2006, Robert Wille studied Computer Science (Diploma) at the University of Bremen. After successfully completing his doctorate in 2009 (summa cum laude), he worked as postdoc at the University of Bremen and, since 2013, as Senior Researcher in the Cyber-Physical Systems department of the German Research Center for Artificial Intelligence (DFKI). Besides that, he served as lecturer at the University of Applied Science Bremen from 2010 to 2012 and was guest professor at the University of Potsdam in 2012 as well as the Technical University of Dresden in 2013/2014. From 2015 to 2022, he was Full Professor at the Johannes Kepler University Linz and head of the Institute for Integrated Circuits (at the age of 32 and as one of the youngest full professors in the field). In 2019, he founded the LIT Secure and Correct Systems Lab at JKU and, in 2020, he additionally became Chief Scientific Officer at the Software Competence Center Hagenberg GmbH. Since 2022, he works in Munich-appointed through a "Leuchtturm"-procedure (i.e., direct appointment) and, additionally, through the "Distinguished Professorship"-program. His research interests are in the design of circuits and systems for both conventional and emerging technologies. In these areas, he published more than 400 papers and served in editorial boards as well as program committees of numerous journals/conferences such as TCAD, ASP-DAC, DAC, DATE, and ICCAD. For his research, he was awarded, e.g., with Best Paper Awards, e.g., at TCAD and ICCAD, an ERC Consolidator Grant, a Distinguished and a Lighthouse Professor appointment, a Google Research Award, and more.
Content
Preliminaries.- Synthesis of Reversible Logic.- Exact Synthesis of Reversible Logic.- Embedding of Irreversible Functions.- Optimization.- Formal Verification and Debugging.- Summary and Conclusions.