Logga in

Carter, Hamilton B.

Metric- Driven Design Verification

Carter, Hamilton B. - Metric- Driven Design Verification, e-bok

109,95€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9780387381527
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

Table of contents

1.Analyzing And Driving Verification: An Executive's Guide

1. The Verification Crisis
2. Automated Metric-Driven Processes
3. Roles in a Verification Project
4. Overview of a Verification Project
5. Verification Technologies
2.Managing The Verification Process

6. Verification Planning
7. Capturing Metrics
8. Regression Management
9. Revision Control and Change Integration
10. Debug
3.Executing The Verification Process

11. Coverage Metrics
12. Modeling and Architectural Verification
13. Assertion-Based Verification
14. Dynamic Simulation-Based Verification
15. System Verification
16. Mixed Analog and Digital Verification
17. Design for Test
4.Case Studies And Commentaries

18. Metric-Driven Design Verification: Why Is My Customer a Better Verification Engineer Than Me?
Alfonso Íñiguez

19. Metric-Driven Methodology Speeds the Verification of a Complex Network Processor
Jean-Paul Lambrechts

20. Developing a Coverage-Driven SoC Methodology
Andreas Dieckmann

21. From Panic-Driven to Plan-Driven Verification Managing the Transition
Susan Peterson, Paul Carzola

22. Verification of a Next-Generation Single-Chip Analog TV and Digital TV ASIC
Y. J. Patil, Dean D'Mello

23. Management IP: New Frontier Providing Value Enterprise-Wide
Steve Brown

24. Adelante VD3204x Core, SubSystem, and SoC Verification
Roger Witlox, Ronald Heijmans, Chris Wieckardt

25. SystemC-based Virtual SoC: An Integrated System-Level and Block-Level Verification Approach from Simulation to Coemulation
Laurent Ducousso, Frank Ghennassia, Joseph Bulone

26. Is Your System-Level Project Benefiting from Collaboration or Headed to Chaos?
Steve Brown

DRM-restrictions

Printing: not available
Clipboard copying: not available

Nyckelord: TECHNOLOGY & ENGINEERING / General TEC000000

Författare
 
Utgivare
Springer
Utgivningsår
2007
Språk
en
Utgåva
1
Kategori
Teknologi, energi, trafik
Format
E-bok
eISBN (PDF)
9780387381527

Liknande e-böcker