The Verification Crisis (English)
- New search for: Carter, Hamilton B.
- New search for: Hemmady, Shankar
- New search for: Carter, Hamilton B.
- New search for: Hemmady, Shankar
In:
Metric- Driven Design Verification
;
3-11
;
2007
- Article/Chapter (Book) / Electronic Resource
-
Title:The Verification Crisis
-
Contributors:Carter, Hamilton B. ( author ) / Hemmady, Shankar ( author )
-
Published in:
-
Publisher:
- New search for: Springer US
-
Place of publication:Boston, MA
-
Publication date:2007-01-01
-
Size:9 pages
-
ISBN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
The Verification CrisisCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 13
-
Automated Metric-Driven ProcessesCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 31
-
Roles in a Verification ProjectCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 41
-
Overview of a Verification ProjectCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 51
-
Verification TechnologiesCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 81
-
Verification PlanningCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 107
-
Capturing MetricsCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 113
-
Regression ManagementCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 129
-
Revision Control and Change IntegrationCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 141
-
DebugCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 157
-
Coverage MetricsCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 163
-
Modeling and Architectural VerificationCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 167
-
Assertion-Based VerificationCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 181
-
Dynamic Simulation-Based VerificationCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 197
-
System VerificationCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 221
-
Mixed Analog and Digital VerificationCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 235
-
Design for TestCarter, Hamilton B. / Hemmady, Shankar et al. | 2007
- 255
-
Metric-Driven Design Verification: Why Is My Customer a Better Verification Engineer Than Me?Íñiguez, Alfonso et al. | 2007
- 279
-
Metric-Driven Methodology Speeds the Verification of a Complex Network ProcessorLambrechts, Jean-Paul et al. | 2007
- 285
-
Developing a Coverage-Driven SoC MethodologyDieckmann, Andreas et al. | 2007
- 297
-
From Panic-Driven to Plan-Driven Verification Managing the TransitionPeterson, Susan / Carzola, Paul et al. | 2007
- 303
-
Verification of a Next-Generation Single-Chip Analog TV and Digital TV ASICPatil, Y. J. / D'Mello, Dean et al. | 2007
- 325
-
Management IP: New Frontier Providing Value Enterprise-WideBrown, Steve et al. | 2007
- 329
-
Adelante VD3204x Core, SubSystem, and SoC VerificationWitlox, Roger / Heijmans, Ronald / Wieckardt, Chris et al. | 2007
- 345
-
SystemC-based Virtual SoC: An Integrated System-Level and Block-Level Verification Approach from Simulation to CoemulationDucousso, Laurent / Ghennassia, Frank / Bulone, Joseph et al. | 2007
- 355
-
Is Your System-Level Project Benefiting from Collaboration or Headed to Chaos?Brown, Steve et al. | 2007