Towards a Design Flow for Reversible Logic
| Authors | Wille, Robert Drechsler, Rolf |
| Tags | Circuits, Electrical, Electronics, Engineering and Circuits and Systems, General, Reversible computing, Technology & Engineering, satisfiability, SAT |
| Publisher | Springer |
| Published | 28 lug 2010 |
| Date | 25 mar 2025 |
| Languages | eng |
| Identifiers | isbn: 9789048195794, uri: https://link.springer.com/book/10.1007/978-90-481-9579-4, lcc: 2010932404, google: g_egzIDt5TsC, doi: 10.1007/978-90-481-9579-4 |
Description
The development of computers has been very successful in the last decades. However, the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor sizes and power dissipation are the main obstacles to developing smaller and more powerful circuits. Reversible logic offers an alternative that may overcome many of these problems in the future. For low-power design, reversible logic offers significant advantages because zero power dissipation is only possible if the computation is reversible. Furthermore, quantum computation benefits from improvements in this area, since 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 differs significantly from the design of traditional circuits. Almost all steps in the design process (such as synthesis, verification, or debugging) must be redesigned to be applicable to reversible circuits. But research in reversible logic is still in its infancy. There is no continuous design flow yet. This book presents contributions to a design flow for reversible logic.
This includes advanced methods for synthesis, optimization, verification, and debugging.
— DeepL Write-improved summary