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
Metric- Driven Design Verification: An Engineer's and Executive's Guide to First Pass Success
.
Bookmark für diesen Satz setzen
Katalogdatensatz500122031
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500122031
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
eng
Hinweise auf parallele Ausgaben
273683837 Buchausg. u.d.T.: ‡Carter, Hamilton B: Metric-driven design verification
ISBN
978-0-387-38151-0
Name
Carter, Hamilton B
Hemmady, Shankar
Name ANZEIGE DER KETTE
Hemmady, Shankar
T I T E L
Metric- Driven Design Verification
Zusatz zum Titel
An Engineer's and Executive's Guide to First Pass Success
Verlagsort
Boston, MA
Verlag
Springer Science+Business Media, LLC
Erscheinungsjahr
2007
2007
Umfang
Online-Ressource (XXVII, 361 p, digital)
Reihe
SpringerLink. Bücher
Notiz / Fußnoten
Includes bibliographical references and index
Weiterer Inhalt
CONTENTS; The Authors; Dedications; Preface; Introduction; Contributing Authors in Order of Appearance; PART I ANALYZING AND DRIVING VERIFICATION: AN EXECUTIVE'S GUIDE; Chapter 1 The Verification Crisis; Chapter 2 Automated Metric-Driven Processes; Chapter 3 Roles in a Verification Project; Chapter 4 Overview of a Verification Project; Chapter 5 Verification Technologies; PART II MANAGING THE VERIFICATION PROCESS; Chapter 6 Verification Planning; Chapter 7 Capturing Metrics; Chapter 8 Regression Management; Chapter 9 Revision Control and Change Integration; Chapter 10 Debug. PART III EXECUTING THE VERIFICATION PROCESSChapter 11 Coverage Metrics; Chapter 12 Modeling and Architectural Verification; Chapter 13 Assertion-Based Verification; Chapter 14 Dynamic Simulation-Based Verification; Chapter 15 System Verification; Chapter 16 Mixed Analog and Digital Verification; Chapter 17 Design for Test; Metric-Driven Design Verification: Why Is My Customer a Better Verification Engineer Than Me?; Developing a Coverage-Driven SoC Methodology; From Panic-Driven to Plan-Driven Verification Managing the Transition. Verification of a Next-Generation Single-Chip Analog TV and Digital TV ASICManagement IP: New Frontier Providing Value Enterprise-Wide; Adelante VD3204x Core, SubSystem, and SoC Verification; SystemC-based Virtual SoC: An Integrated System-Level and Block-Level Verification Approach from Simulation to Coemulation; Is Your System-Level Project Benefiting from Collaboration or Headed to Chaos?; Index
Titelhinweis
Buchausg. u.d.T.: ‡Carter, Hamilton B: Metric-driven design verification
ISBN
ISBN 978-0-387-38152-7
Klassifikation
TJFC
TEC008010
621.3815
620
TK7888.4
ZN 4904
Kurzbeschreibung
The purpose of the book is to train verification engineers on the breadth of technologies available and to give them a utilitarian methodology for making effective use of those technologies. The book is easy to understand and a joy to read. Its organization follows a 'typical' verification project from inception to completion, (planning to closure). The book elucidates concepts using non-technical terms and clear entertaining explanations. Analogies to other fields are employed to keep the book light-hearted and interesting.
2. Kurzbeschreibung
Following a verification project, this book elucidates concepts using non-technical terms and explanations. It aims to train verification engineers on the technologies available
1. Schlagwortkette
Digitale integrierte Schaltung
Logischer Entwurf
Verifikation
Funktionstest
ANZEIGE DER KETTE
Digitale integrierte Schaltung -- Logischer Entwurf -- Verifikation -- Funktionstest
2. Schlagwortkette
Digitale integrierte Schaltung
Logischer Entwurf
Verifikation
Funktionstest
ANZEIGE DER KETTE
Digitale integrierte Schaltung -- Logischer Entwurf -- Verifikation -- Funktionstest
SWB-Titel-Idn
271491531
Signatur
Springer E-Book
Bemerkungen
Elektronischer Volltext - Campuslizenz
Elektronische Adresse
$uhttp://dx.doi.org/10.1007/978-0-387-38152-7
Internetseite / Link
Volltext
Siehe auch
Volltext
Siehe auch
Cover
Siehe auch
Inhaltsverzeichnis
Siehe auch
Einführung/Vorwort
.
ISBD-Anzeige
Katalogdatensatz500122031
.
Kategorien-Anzeige
Katalogdatensatz500122031
.
Verwandte Werke
Katalogdatensatz500122031
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500122031
.
Kataloginformation500122031
Datensatzanfang
.
Kataloginformation500122031
Seitenanfang
.
Titel vormerken
Katalogdatensatz500122031
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