Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt.

Robustness and Usability in Modern Design Flows

 Ebook
Sofort lieferbar 
118,99 €

Alle Preise inkl. MwSt.
 
"The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore today's design flow has to be improved to achieve a higher productivity. In Robustness and Usability in Modern Design Flows the current design methodology and verification methodology are analyzed, a number of deficiencies are identified and solutions suggested. Improvements in the methodology as well as in the underlying algorithms are proposed.
Dedication. List of Figures. List of Tables. Preface.


1. Introduction.



2. Preliminaries. 2.1 Boolean Reasoning. 2.2 Circuits. 2.3 Formal Verification. 2.4 Automatic Test Pattern Generation.



3. Algorithms and Data Structures. 3.1 Combining SAT and BDD Provers. 3.2 Summary and Future Work.
4. Synthesis. 4.1 Synthesis of SystemC. 4.2 Synthesis for Testability. 4.3 Summary and Future Work.



5. Property Generation. 5.1 Detecting Gaps in Testbenches. 5.2 Design Understanding. 5.3 Summary and Future Work.



6. Diagnosis. 6.1 Comparing SAT-based and Simulation-based Approaches. 6.2 Generating Counterexamples for Diagnosis. 6.3 Debugging Properties. 6.4 Summary and Future Work.



7. Summary and Conclusions.



References. Index of Symbols. Index.
Autor: Görschwin Fey, Rolf Drechsler
Prof. Rolf Drechsler has authored and edited numerous books for Springer

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.

 

Rezensionen

Autor: Görschwin Fey
ISBN-13 :: 9781402065361
ISBN: 1402065361
Erscheinungsjahr: 08.01.2008
Verlag: Springer-Verlag GmbH
Größe: 1026 KBytes
eBook Format: PDF
Kopierschutz: 1 - PDF Watermark
eBook Typ: PDF
Seiten: 166
Sprache: Englisch
Auflage 2008
Sonstiges: Ebook

Kopierschutz

Adobe-DRM

Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.

Wasserzeichen-DRM

Das sogenannte Soft-DRM erlaubt das Kopieren und die Weitergabe an Dritte. Im Buch werden allerdings Informationen zum eBook-Kauf an sichtbaren und unsichtbaren Stellen (Wasserzeichen) eingetragen – z.B. Ihre E-Mail-Adresse oder die Transaktions-Nummer. Illegale Kopien eines eBooks können dadurch jederzeit zu Ihnen zurückverfolgt werden.

eBooks ohne DRM

Hierbei handelt es sich um eBooks ohne Kopierschutz. Allerdings ist auch hier eine Weitergabe an DDritte nicht zulässig, weil Sie nur die Rechte zur persönlichen Nutzung erwerben.

Dateiformate

EPUB (Electronic Publication)

EPUB ist ein offener Standard für eBooks und eignet sich besonders zur Darstellung von Belle­tristik und Sach­büchern. Der Fließ­text wird dynamisch an die Display- und Schrift­größe ange­passt. Auch für mobile Lese­geräte ist EPUB daher gut geeignet.

PDF (Portable Document Format)

Mit einem festen Seiten­layout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur eingeschränkt geeignet.

Systemvoraussetzungen:

PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos).

eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.

Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.

Google Plus
Powered by Inooga