Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
Katalogdatenanzeige
Katalogdatenanzeige
Debugging at the Electronic System Level
.
Bookmark für diesen Satz setzen
Katalogdatensatz500151379
.
.
Wikipedia-Verfasserlink
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500151379
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
eng
Hinweise auf parallele Ausgaben
332224198 Buchausg. u.d.T.: ‡Rogin, Frank: Debugging at the electronic system level
ISBN
978-90-481-9254-0
Name
Rogin, Frank
Drechsler, Rolf
Name ANZEIGE DER KETTE
Drechsler, Rolf
T I T E L
Debugging at the Electronic System Level
Verlagsort
Dordrecht
Verlag
Springer Science+Business Media B.V
Erscheinungsjahr
2010
2010
Umfang
Online-Ressource (XVIII, 200p, digital)
Reihe
SpringerLink. Bücher
Notiz / Fußnoten
Includes bibliographical references (p. 181-192) and indexes
Weiterer Inhalt
Debugging at the Electronic System Level; Contents; List of Figures; List of Tables; Preface; Acknowledgements; Chapter 1: Introduction; Chapter 2: ESL Design and Verification; Chapter 3: Early Error Detection; Chapter 4: High-Level Debugging and Exploration; Chapter 5: Learning about the Design; Chapter 6: Isolating Failure Causes; Chapter 7: Summary and Conclusion; Appendix A: FDC Language; Appendix B: Debug Pattern Catalog; References; List of Acronyms; Index of Symbols; Index;
Titelhinweis
Buchausg. u.d.T.: ‡Rogin, Frank: Debugging at the electronic system level
ISBN
ISBN 978-90-481-9255-7
Klassifikation
TJFC
TEC008010
621.3815
005.14
TK7888.4
Kurzbeschreibung
"Debugging becomes more and more the bottleneck to chip design productivity, especially while developing modern complex integrated circuits and systems at the Electronic System Level (ESL). Today, debugging is still an unsystematic and lengthy process. Sure, a simple reporting of a failure is not enough, anymore. Rather, it becomes more and more important not only to find many errors early during development but also to provide efficient methods for their isolation. In ""Debugging at the Electronic System Level"" the state-of-the-art of modeling and verification of ESL designs is reviewed. There, a particular focus is taken onto SystemC. Then, a reasoning hierarchy is introduced. The hierarchy combines well-known debugging techniques with whole new techniques to improve the verification efficiency at ESL. The proposed systematic debugging approach is supported amongst others by static code analysis, debug patterns, dynamic program slicing, design visualization, property generation, and automatic failure isolation. All techniques were empirically evaluated using real-world industrial designs. Summarized, the introduced approach enables a systematic search for errors in ESL designs. Here, the debugging techniques improve and accelerate error detection, observation, and isolation as well as design understanding."
1. Schlagwortkette
Integrierte Schaltung
Entwurfsautomation
Debugging
ANZEIGE DER KETTE
Integrierte Schaltung -- Entwurfsautomation -- Debugging
SWB-Titel-Idn
327020326
Signatur
Springer E-Book
Bemerkungen
Elektronischer Volltext - Campuslizenz
Elektronische Adresse
$uhttp://dx.doi.org/10.1007/978-90-481-9255-7
Internetseite / Link
Volltext
Siehe auch
Volltext
Siehe auch
Cover
Siehe auch
Inhaltsverzeichnis
Siehe auch
Einführung/Vorwort
.
ISBD-Anzeige
Katalogdatensatz500151379
.
Kategorien-Anzeige
Katalogdatensatz500151379
.
Verwandte Werke
Katalogdatensatz500151379
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500151379
.
Kataloginformation500151379
Datensatzanfang
.
Kataloginformation500151379
Seitenanfang
.
Titel vormerken
Katalogdatensatz500151379
Vollanzeige Katalogdaten
Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.
Im Bereich
Kataloginformation
werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.
Der Bereich
Exemplarinformationen
enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche
Suche nach