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 |