Produktbild: Towards a Design Flow for Reversible Logic
- 12%

Towards a Design Flow for Reversible Logic

12% sparen

93,99 € UVP 106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.10.2014

Verlag

Springer Netherland

Seitenzahl

184

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

312 g

Auflage

2010

Sprache

Englisch

ISBN

978-94-007-9425-2

Beschreibung

Rezension

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)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.10.2014

Verlag

Springer Netherland

Seitenzahl

184

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

312 g

Auflage

2010

Sprache

Englisch

ISBN

978-94-007-9425-2

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: GPSR Kontakt

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: Towards a Design Flow for Reversible Logic
  • 1. Introduction. 2. Preliminaries. 2.1. Background. 2.2. Decision Diagrams. 2.3. Satisfiability Solvers. 3. Synthesis of Reversible Logic. 3.1. Current Synthesis Steps . 3.2. BDD-based Synthesis. 3.3. SyReC: A Reversible Hardware Language. 3.4. Summary and Future Work. 4. Exact Synthesis of Reversible Logic. 4.1. Main Flow. 4.2. SAT-based Exact Synthesis. 4.3. Improved Exact Synthesis. 4.4. Summary and Future Work. 5. Embedding of Irreversible Functions. 5.1. Embedding Problem. 5.2. Don’t Care Assignment. 5.3. Synthesis with Output Permutation. 5.4. Summary and Future Work. 6. Optimization. 6.1. Adding Lines to Reduce Circuit Cost. 6.2. Reducing the Number of Circuit Lines. 6.3. Optimizing Circuits for Linear Nearest Neighbor Architectures. 6.4. Summary and Future Work. 7. Formal Veri?cation and Debugging. 7.1. Equivalence Checking. 7.2. Automated Debugging and Fixing. 7.3. Summary and Future Work. 8. Summary and Conclusions. References. Index.