Don’t miss it: Get 40% off Education & Linguistics books! Save through November 30, 2018.

Towards a Design Flow for Reversible Logic

Authors: Wille, Robert, Drechsler, Rolf

  • Examines several design steps of reversible circuits within an integrated flow
  • Proposes several techniques for synthesis of very large functions in reversible logic
  • Considers questions like debugging of reversible logic
  • So far, synthesis was only possible for small functions
  • Reversible logic is an emerging area, once this kind of technology advances from the academic level to the industrial level, these approaches are required
see more benefits

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-90-481-9579-4
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.99
price for USA in USD
  • ISBN 978-90-481-9578-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $129.99
price for USA in USD
  • ISBN 978-94-007-9425-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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 provides an alternative that may overcome many of these problems in the future. For low-power design, reversible logic offers significant advantages since zero power dissipation will only be possible if computation is reversible. Furthermore, quantum computation profits 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 significantly differs from the design of traditional circuits. Nearly all steps in the design flow (like synthesis, verification, 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 flow exists so far.

In Towards a Design Flow for Reversible Logic, contributions to a design flow for reversible logic are presented. This includes advanced methods for synthesis, optimization, verification, and debugging. Formal methods like Boolean satisfiability and decision diagrams are thereby exploited. By combining the techniques proposed in the book, it is possible to synthesize reversible circuits representing large functions. Optimization approaches ensure that the resulting circuits are of small cost. Finally, a method for equivalence checking and automatic debugging allows to verify the obtained results and helps to accelerate the search for bugs in case of errors in the design. Combining the respective approaches, a first design flow for reversible circuits of significant size results.

Reviews

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)

Table of contents (8 chapters)

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-90-481-9579-4
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.99
price for USA in USD
  • ISBN 978-90-481-9578-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $129.99
price for USA in USD
  • ISBN 978-94-007-9425-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Towards a Design Flow for Reversible Logic
Authors
Copyright
2010
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media B.V.
eBook ISBN
978-90-481-9579-4
DOI
10.1007/978-90-481-9579-4
Hardcover ISBN
978-90-481-9578-7
Softcover ISBN
978-94-007-9425-2
Edition Number
1
Number of Pages
XIII, 184
Topics