Towards a Design Flow for Reversible Logic

1. Front Matter

   Pages I-XIII

   PDF

2. Introduction

   • Robert Wille, Rolf Drechsler

   Pages 1-6

3. Preliminaries

   • Robert Wille, Rolf Drechsler

   Pages 7-26

4. Synthesis of Reversible Logic

   • Robert Wille, Rolf Drechsler

   Pages 27-56

5. Exact Synthesis of Reversible Logic

   • Robert Wille, Rolf Drechsler

   Pages 57-91

6. Embedding of Irreversible Functions

   • Robert Wille, Rolf Drechsler

   Pages 93-111

7. Optimization

   • Robert Wille, Rolf Drechsler

   Pages 113-141

8. Formal Verification and Debugging

   • Robert Wille, Rolf Drechsler

   Pages 143-174

9. Summary and Conclusions

   • Robert Wille, Rolf Drechsler

   Pages 175-176

10. Back Matter

    Pages 177-184

    PDF

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.

• Debugging
• Embedded Systems
• Reversible Logic
• Synthesis
• Transistor
• Verification & Validation
• integrated circuit

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)

• , FB3, Computer Science, University of Bremen, Bremen, Germany

  Robert Wille

• AG Rechnerarchitektur, Universität Bremen, Bremen, Germany

  Rolf Drechsler

Policies and ethics