Verification
An Engineer’s and Executive’s Guide
to First Pass Success
Metric- Driven Design
Hamilton B. Carter
Shankar Hemmady
Verification
An Engineer’s and Executive’s Guide
to First Pass Success
Metric- Driven Design
Hamilton B. Carter Shankar Hemmady
Cadence Design Systems, Inc. Cadence Design Systems, Inc.
San Jose, CA San Jose, CA
USA USA
Library of Congress Control Number: 2007924215
ISBN 0-387-38151-1 e-ISBN 0-387-38152-X
ISBN 978-0-387-38151-0 e-ISBN 978-0-387-38152-7
Printed on acid-free paper.
© 2007 Springer Science+Business Media, LLC
9 8 7 6 5 4 3 2 1
springer.com
All rights reserved. This work may not be translated or copied in whole or in part without the written
permission of the publisher (Springer Science+Business Media, LLC, 233 Spring Street, New York, NY
10013, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection
with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or
dissimilar methodology now know or hereafter developed is forbidden. The use in this publication of
trade names, trademarks, service marks and similar terms, even if they are not identified as such, is not
to be taken as an expression of opinion as to whether or not they are subject to proprietary rights.
Table of Contents
The Authors
Contributing Authors in Order of Appearance
PART I ANALYZING AND DRIVING VERIFICATION:
AN EXECUTIVE’S GUIDE 1
Chapter 1 The Verification Crisis
Chapter 2 Automated Metric-Driven Processes
The Process Model
The Automated Metric-Driven Process Model
What Are Metrics For?
Tactical and Strategic Metrics
Chapter 3 Roles in a Verification Project
The Executive
Design Manager
Verification Manager
Verification Architect/Methodologist
Design/System Architect
Verification Engineer
Design Engineer
Regressions Coordinator
Debug Coordinator
Chapter 4 Overview of a Verification Project
x
i
Dedications xiii
Preface xv
Introduction xix
xxi
3
13
Introduction 13
15
16
28
29
29
Summary 30
31
Introduction 31
31
Marketing 33
34
34
35
36
37
38
39
39
Summary 40
41
Introduction 41
Summary 49
Project Management Using Metric-Driven Data
vi Table of Contents
Chapter 5 Verification Technologies
Metric-Driven Process Automation Tools
Modeling and Architectural Exploration
Assertion-Based Verification
Simulation-Based Verification
Mixed-Signal Verification
Acceleration/Emulation-Based Verification
PART II MANAGING THE VERIFICATION
Chapter 6 Verification Planning
Chapter Overview
Verification Planning
Chapter 7 Capturing Metrics
The Universal Metrics Methodology
Chapter 8 Regression Management
Early Regression Management Tasks
Regression Management
Linking the Regression and Revision Management Systems
Bring-Up Regressions
Integration Regressions
Design Quality Regressions
Managing Regression Resources and Engineering
Regression-Centric Metrics
How Many Metrics Are Too Many?
Chapter 9 Revision Control and Change Integration
The Benefits of Revision Control
Metric-Driven Revision Control
Chapter 10 Debug
PROCESS 79
81
Introduction 81
83
86
Summary 105
107
Introduction 107
109
113
Introduction 113
114
114
115
116
119
121
Effectiveness 122
123
125
Summary 127
129
Introduction 129
131
132
Summary 139
141
Introduction 141
51
Introduction 51
52
58
63
70
73
75
Summary 78