文档介绍：FUNCTIONAL VERIFICATION
COVERAGE MEASUREMENT AND
ANALYSIS
This page intentionally left blank
FUNCTIONAL VERIFICATION
COVERAGE MEASUREMENT AND
ANALYSIS
by
Andrew Piziali
Verisity Design, Inc.
KLUWER ACADEMIC PUBLISHERS
NEW YORK, BOSTON, DORDRECHT, LONDON, MOSCOW
eBook ISBN: 1-4020-8026-3
Print ISBN: 1-4020-8025-5
©2004 Kluwer Academic Publishers
New York, Boston, Dordrecht, London, Moscow
Print ©2004 Kluwer Academic Publishers
Boston
All rights reserved
No part of this eBook may be reproduced or transmitted in any form or by any means, electronic,
mechanical, recording, or otherwise, without written consent from the Publisher
Created in the United States of America
Visit Kluwer Online at:
and Kluwer's eBookstore at: http://ebooks.
Table of Contents
Foreword ix
Preface xiii
Introduction 1
1. The Language of Coverage 5
2. Functional Verification 15
. Design Intent Diagram 16
. Functional Verification 17
. Testing versus Verification 19
. Functional Verification Process 19
. Functional Verification Plan 20
. Verification Environment Implementation 26
. Device Bring-up 27
. Device Regression 28
. Summary 30
3. Measuring Verification Coverage 31
. Coverage Metrics 31
. Implicit Metrics 32
. Explicit Metrics 33
. Specification Metrics 33
. Implementation Metrics 34
. Coverage Spaces 34
. Implicit Implementation Coverage Space 35
. Implicit Specification Coverage Space 35
. Explicit Implementation Coverage Space 36
. Explicit Specification Coverage Space 37
. Summary 38
4. Functional Coverage 39
. Coverage Modeling 39
. Coverage Model Example 40
. Top-Level Design 44
. Attribute Identification 45
. Attribute Relationships 50
. Detailed Design 61
. What to Sample 62
. Where to Sample 65
. When to Sample and Correlate Attributes 66
. Model Implementation 67