Robustness and Usability in Modern Design Flows

Softcover Nachdruck of hardcover 1. Auflage 2008
ISBN: 978-90-481-7662-5
Verlag: Springer Netherlands

Buch, Englisch, 166 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 289 g

The size of technically producible integrated circuits increases continuously, but the ability to design and verify these circuits does not keep up. Therefore today’s design flow has to be improved. Using a visionary approach, this book analyzes the current design methodology and verification methodology, a number of deficiencies are identified and solutions suggested. Improvements in the methodology as well as in the underlying algorithms are proposed.

Zielgruppe

Research

Autoren/Hrsg.

Drechsler, Rolf

Fey, Görschwin

Fachgebiete

• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Bauelemente, Schaltkreise
• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Mikroprozessoren
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten

Inhaltsverzeichnis

Dedication. List of Figures. List of Tables. Preface. 1. Introduction. 2. Preliminaries. 3. Algorithms and Data Structures. 4. Synthesis. 5. Property Generation. 6. Diagnosis. 7. Summary and Conclusions. References. Index of Symbols. Index.

Über Autor(innen)

Prof. Rolf Drechsler has authored and edited numerous books for Springer