VCS 覆盖率参考手册-VCS Coverage Technology Reference Manual

【实例截图】

【核心代码】

Contents
1. Introduction
Operations When You Compile or Simulate . . . . . . . . . . . . . . . . . . 1-2
Using Coverage Metrics Files and Directories. . . . . . . . . . . . . . 1-2
Specifying Coverage for Libraries and Cells . . . . . . . . . . . . . . . 1-5
Naming Intermediate Data Files . . . . . . . . . . . . . . . . . . . . . . . . 1-6
Merging VCS Results for Regressions . . . . . . . . . . . . . . . . . . . . . . 1-7
SystemVerilog Support for Code Coverage . . . . . . . . . . . . . . . . . . 1-14
2. Commands Reference
Compile Options for Coverage Metrics . . . . . . . . . . . . . . . . . . . . . . 2-2
Constant Analysis Options. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-18
Simulation Options for Coverage Metrics . . . . . . . . . . . . . . . . . . . . 2-20
More Options for Toggle Coverage . . . . . . . . . . . . . . . . . . . . . . . . . 2-23
Toggle Coverage for MDAs . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-23
Monitoring Toggle Coverage for an Array of Modports . . . . . . . 2-24
Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-25
URG Report . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-26
iv
Feedback
Monitoring Toggle Coverage for an Array of Structures. . . . . . . 2-27
Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-27
Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-37
Improved Toggle Coverage Reporting for Structures. . . . . . . . . 2-37
Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-37
Realtime Control of Toggle Coverage . . . . . . . . . . . . . . . . . . . . 2-39
Limiting Toggle Coverage to Ports Only. . . . . . . . . . . . . . . . . . . 2-39
Limiting Toggle Coverage Monitoring. . . . . . . . . . . . . . . . . . . . . 2-42
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-43
URG Report . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-44
Excluding and Including Signals in Toggle Coverage . . . . . . . . 2-45
Excluding and Including Signals in the -cm_hier File . . . . 2-46
Excluding and Including Part-Selects and Bit-Selects . . . . . 2-52
Excluding Interface Signals From a Design . . . . . . . . . . . . . 2-55
Sorting Signals in Toggle Coverage. . . . . . . . . . . . . . . . . . . . . . 2-58
More Options for Condition Coverage. . . . . . . . . . . . . . . . . . . . . . . 2-59
Modifying Condition Coverage. . . . . . . . . . . . . . . . . . . . . . . . . . 2-60
Enabling Condition Coverage for More Operators. . . . . . . . 2-63
Enabling Condition Coverage for Allops. . . . . . . . . . . . . . . . 2-65
Enabling Condition Coverage in For Loops . . . . . . . . . . . . . 2-68
Enabling Condition Coverage in Tasks and Functions. . . . . 2-69
Enabling Condition Coverage in Port Connection Lists . . . . 2-70
Using Sensitized Multiple Condition Coverage Vectors . . . . 2-71
Using the -cm_cond allvectors Option . . . . . . . . . . . . . . . . . 2-74
Disabling Vector Conditions . . . . . . . . . . . . . . . . . . . . . . . . . 2-76
Excluded Subexpressions . . . . . . . . . . . . . . . . . . . . . . . . . . 2-78
Condition Coverage Observability . . . . . . . . . . . . . . . . . . . . 2-79
Specifying Continuous Assignment Coverage. . . . . . . . . . . . . . 2-83
v
Feedback
Support for Condition Coverage in Continuous Assignments to
Structures. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-84
Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-84
URG Report . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-85
Displaying Condition IDs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-87
Using Multiple Condition Value Vectors With Constant Filtering 2-88
Omitting Coverage for Default Case Items . . . . . . . . . . . . . . . . 2-90
More Options for Branch Coverage. . . . . . . . . . . . . . . . . . . . . . . . . 2-91
For Loops and User-defined Tasks and Functions . . . . . . . . . . 2-91
Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-92
More Options for FSM Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . 2-92
Coding a Verilog FSM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-93
Using the Encoded FSM Style. . . . . . . . . . . . . . . . . . . . . . . . . . 2-94
Implementing Hot Bit or One Hot FSMs. . . . . . . . . . . . . . . . . . .2-102
Using Continuous Assignments for FSMs . . . . . . . . . . . . . . . . .2-106
Avoiding Substituting the Same Numeric Constant. . . . . . . . . .2-107
Sequence Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-107
Controlling How VCS Extract FSMs. . . . . . . . . . . . . . . . . . . . . .2-107
Using an FSM Configuration File. . . . . . . . . . . . . . . . . . . . . . . .2-109
The TRANSITIONS Line . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-113
Specifying the Configuration File . . . . . . . . . . . . . . . . . . . . . 2-114
Sequence Filtering in Reports . . . . . . . . . . . . . . . . . . . . . . . 2-114
Viewing Covergroups in Design Hierarchy . . . . . . . . . . . . . . . . . . . 2-115
Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-115
Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-125
Specifying the Maximum for Sequences . . . . . . . . . . . . . . .2-126
vi
Feedback
Using the Configuration File for One Hot FSM. . . . . . . . . . .2-127
Reporting FSM State Values Instead of Named States. . . . . . .2-128
Enabling Indirect Assignment to State Variables . . . . . . . . . . . .2-129
Enabling Two-State FSMs . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-131
Enabling the Monitoring of Self Looping FSMs . . . . . . . . . . . . .2-132
Enabling X Value States . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-133
Filtering Out Transitions Caused by Specified Signals . . . . . . .2-136
More Options for Functional Coverage . . . . . . . . . . . . . . . . . . . . . .2-138
Options to Specify in optconfigfile . . . . . . . . . . . . . . . . . . . . . . .2-138
Unified Coverage Directory and Database Control . . . . . . . . . .2-141
Loading Coverage Data. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-142
Using -covg_disable_cg to Disable Functional Coverage Items 2-146
Using -covg_no_guard_in_shape to Handle Guards on Illegal/Ignore
Bins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-147
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-148
Functional Coverage System Tasks Summary Table. . . . . .2-151
Specifying Stable Names for Conditions in a Design. . . . . . . . .2-154
Naming a Condition in a Module . . . . . . . . . . . . . . . . . . . . .2-155
Advantages of Assigning Stable Names for Conditions. . . .2-156
Generating El File for Condition Coverage. . . . . . . . . . . . . .2-156
Specifying Tags in the Source . . . . . . . . . . . . . . . . . . . . . . .2-157
Specifying Multiple Conditions in a Statement. . . . . . . . . . .2-158
Specifying Multiple Statements in a Line . . . . . . . . . . . . . . .2-159
Viewing Names in the Generated Reports. . . . . . . . . . . . . .2-160
Limitations With Stable Names for Conditions. . . . . . . . . . .2-161
Controlling the Scope of Coverage Compilation . . . . . . . . . . . . . . .2-162
Using a Configuration File . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-163
vii
Feedback
Module Tree Support for Verilog and VHDL. . . . . . . . . . . . . . . .2-169
Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-170
Monitoring Coverage for Encrypted Designs. . . . . . . . . . . . . . .2-174
Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-175
Disabling the Monitoring of Initial Blocks . . . . . . . . . . . . . . . . . .2-176
Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-176
URG Report . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-178
Coverage Pragmas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-179
Using Pragmas to Limit Line Coverage . . . . . . . . . . . . . . . . . . .2-182
Using Pragmas to Limit VHDL Lines From Coverage . . . . .2-184
Pragmas to Limit Toggle Coverage . . . . . . . . . . . . . . . . . . . . . .2-187
Pragmas to Limit FSM Coverage. . . . . . . . . . . . . . . . . . . . . . . .2-188
Specifying the Signal That Holds the Current State. . . . . . .2-189
Specifying the Part-Select that Holds the Current State . . .2-190
Specifying the Concatenation that Holds the Current State.2-190
Specifying the Signal that Holds the Next State. . . . . . . . . .2-191
Specifying the Current and Next State Signals in the Same
Declaration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-191
Specifying the Possible States of the FSM . . . . . . . . . . . . .2-192
Pragmas in One Line Comments. . . . . . . . . . . . . . . . . . . . .2-192
Specifying FSM With Pragmas - an Example . . . . . . . . . . .2-193
Using Pragmas to Limit Branch Coverage. . . . . . . . . . . . . . . . .2-193
Using Glitch Suppression . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-204
Line Coverage Glitch Suppression . . . . . . . . . . . . . . . . . . . . . .2-205
Limitation on Clocks. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2-207
Toggle Coverage Glitch Suppression. . . . . . . . . . . . . . . . . . . . .2-209
Using Condition Coverage Glitch Suppression . . . . . . . . . . . . .2-210
viii
Feedback
Excluding Functions From Glitch Filtering . . . . . . . . . . . . . . . . .2-212
3. User-Defined Coverage System Functions
Coverage System Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-2
The $cm_coverage System Function . . . . . . . . . . . . . . . . . . . . . . . 3-5
Return Values. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-7
The $cm_get_coverage System Function. . . . . . . . . . . . . . . . . . . . 3-9
Return Values. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-11
The $cm_get_limit System Function . . . . . . . . . . . . . . . . . . . . . . . . 3-12
Examples. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-13
Annotating Tests in the VCS Coverage Database. . . . . . . . . . . . . . 3-16
Specifying a Name for a Test Run . . . . . . . . . . . . . . . . . . . . . . . 3-17
Using the -cm_test Option . . . . . . . . . . . . . . . . . . . . . . . . . . 3-17
Using the cm_post Command . . . . . . . . . . . . . . . . . . . . . . . 3-19
Using the $cm_post System Call . . . . . . . . . . . . . . . . . . . . . 3-20
Adding or Changing the Test Status of a Test Run . . . . . . . . . . 3-20
Using the cm_post Command . . . . . . . . . . . . . . . . . . . . . . . 3-21
Using the $cm_post System Call . . . . . . . . . . . . . . . . . . . . . 3-22
Support for Adding Custom Annotations . . . . . . . . . . . . . . . . . . 3-23
Using the cm_post Command to Annotate. . . . . . . . . . . . . . 3-23
Using the $cm_post System Call to Annotate . . . . . . . . . . . 3-25
Backward Compatibility . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-25
cm_post Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-26
Accessing Coverage Data During Simulation Using UCAPI . . . . . . 3-28
Monitoring the Coverage Data. . . . . . . . . . . . . . . . . . . . . . . . . . 3-28
Resetting the Coverage Data . . . . . . . . . . . . . . . . . . . . . . . . . . 3-30
ix
Feedback
Ignoring Coverage Collected During Parts of Simulation. . . 3-31
Accessing Coverage Data . . . . . . . . . . . . . . . . . . . . . . . . . . 3-32
4. URG Options
Command-Line Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-2
Most Commonly-Used Options . . . . . . . . . . . . . . . . . . . . . . 4-2
HVP Options. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-3
Code Coverage Options. . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-3
Covergroup Options. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-3
Merge Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-4
Exclusion Options. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-4
General Options. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-4
Using -cm_dir and -dbname Options With the Unified Coverage
Database . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-37
Redirecting All the Temporary Files Generated By
urg -parallel Option. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-38
Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-38
Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-39
Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-39
Displaying Ratio Score in URG Report . . . . . . . . . . . . . . . . . . . 4-40
Supported Options for Parallel Merging. . . . . . . . . . . . . . . . . . . 4-42
Unsupported Options for Parallel Merging. . . . . . . . . . . . . . 4-43
Merge Covergroups Across Scopes . . . . . . . . . . . . . . . . . . . . . . . . 4-44
Merge Across-Shape . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-45
Merge Across-Program-Scope. . . . . . . . . . . . . . . . . . . . . . . . . . 4-46
Instance Coverage Score Option . . . . . . . . . . . . . . . . . . . . . . . . . . 4-47
Covergroup Scores Computation . . . . . . . . . . . . . . . . . . . . . . . . . . 4-50
x
Feedback
Default Score. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-50
Group Ratio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-51
Example. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-52
Trend Chart Command-Line Options . . . . . . . . . . . . . . . . . . . . . . . 4-54
Reporting Element Holes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-56
Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-56
Finding Element Holes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-56
Displaying Range Values. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-57
Showing Element Holes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-57
Reporting Only Uncovered Objects (-show brief) . . . . . . . . . . . . . . 4-58
Brief Report for Line Coverage. . . . . . . . . . . . . . . . . . . . . . . 4-59
Brief Report for Condition Coverage . . . . . . . . . . . . . . . . . . 4-60
Brief Report for FSM Coverage . . . . . . . . . . . . . . . . . . . . . . 4-61
URG Support for Uncovered Only (–show brief) Feature on Selected
Metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-61
Report Changes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-65
Dashboard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-65
Module List. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-65
Hierarchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-66
Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-67
Tests. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-68
HVP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-68
Assertions Report. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-68
Module and Instance Header Sections . . . . . . . . . . . . . . . . 4-68
Controlling FSM Scores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-69
Performance Improvement for HTML URG Reports . . . . . . . . . . . . 4-71
xi
Feedback
Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-71
-legacy batch_hier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-72
Design Hierarchy Page . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-73
HVP and HVP Problem Hierarchy Pages. . . . . . . . . . . . . . . 4-74
LP Hierarchy Page. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-75
-legacy batch_list . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-75
-legacy batch_test . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-78
-attribute. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-79
5. Other Coverage Post-Processing Techniques
Managing the Covergroup Coverage Database . . . . . . . . . . . . . . . 5-1
Editing the Covergroup Coverage Database. . . . . . . . . . . . . . . 5-2
Resetting and Deleting a Covergroup in Coverage Database. . 5-3
Resetting Hit Counts of Bins . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-5
Deleting a Covergroup from Coverage Database . . . . . . . . . . . 5-6
Viewing Covergroups in Design Hierarchy . . . . . . . . . . . . . . . . . . . 5-6
Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-7
Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-17
Resetting and Deleting Assertion Coverage . . . . . . . . . . . . . . . . . . 5-18
Resetting Assertion Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . 5-18
Deleting Assertions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-19
Resetting the Scores of all Coverable Objects . . . . . . . . . . . . . 5-20
6. Unified Coverage API
Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-2
Database Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-4
xii
Feedback
Persistence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-4
UCAPI Setup and Compilation Requirements. . . . . . . . . . . . . . 6-6
Enabling Error Reporting . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-8
Dynamic UCAPI Library. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-8
Data Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-9
UCAPI Object . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-9
Common Properties. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-10
Coverable Objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-13
Block. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-13
Integer and Scalar Values . . . . . . . . . . . . . . . . . . . . . . . . . . 6-14
Interval Values . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-15
Value Set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-15
Sequence. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-15
Cross . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-18
Stable Names for Coverable Objects. . . . . . . . . . . . . . . . . . . . . 6-18
Naming the Next Statement in a Module . . . . . . . . . . . . . . . 6-19
Using Stable Names for Coverable Objects. . . . . . . . . . . . . 6-20
Specifying Tags in the Source . . . . . . . . . . . . . . . . . . . . . . . 6-20
Multiple Conditions in a Statement. . . . . . . . . . . . . . . . . . . . 6-21
Multiple Statements on a Line . . . . . . . . . . . . . . . . . . . . . . . 6-22
Names in the Generated Reports. . . . . . . . . . . . . . . . . . . . . 6-23
El File for Condition Coverage . . . . . . . . . . . . . . . . . . . . . . . 6-24
Design Objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-24
Design and Test Name. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-24
Tests and Metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-25
Source Definition and Source Instance . . . . . . . . . . . . . . . . 6-26
Test-Qualified Source Regions. . . . . . . . . . . . . . . . . . . . . . . 6-36
Other Objects. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-38
xiii
Feedback
Container . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-38
Predefined Coverage Metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-39
Line Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-40
Condition Coverage. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-43
Branch Coverage. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-48
Finite State Machine Coverage . . . . . . . . . . . . . . . . . . . . . . . . . 6-54
Toggle Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-59
Assertion Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-63
Testbench Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-72
Setting Hit Count on Bins. . . . . . . . . . . . . . . . . . . . . . . . . . . 6-79
Usage. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-79
Set covdbStatusCovered . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-79
Compressed and Uncompressed Bins. . . . . . . . . . . . . . . . . 6-80
Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-82
Loading a Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-84
Available Tests. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-84
Loading Tests. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-85
Coverage Correlation: Determining Which Test Covered an Object
6-87
Managing Exclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-90
Excluding Coverage Objects Using Hierarchy Exclusion Files . 6-90
Excluding Coverage Objects Using Object Handles . . . . . . . . . 6-91
Default Versus Strict Exclusion in UCAPI. . . . . . . . . . . . . . . . . 6-92
Using Report-Time Exclusion . . . . . . . . . . . . . . . . . . . . . . . . . . 6-93
Saving Exclusions in UCAPI . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-93
Extracting Exclusions From a Coverable Object . . . . . . . . . . . . 6-95
xiv
Feedback
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-96
Computing Checksum for Coverage Metrics. . . . . . . . . . . . . . . 6-97
Calculating Checksum for Condition Coverage . . . . . . . . . . 6-97
Calculating Checksum for Line Coverage . . . . . . . . . . . . . . 6-99
Calculating Checksum for Toggle Coverage . . . . . . . . . . . .6-100
Calculating Checksum for FSM Coverage. . . . . . . . . . . . . .6-102
Calculating Checksum for Branch Coverage . . . . . . . . . . . .6-103
Calculating Checksum for Assertion Metric . . . . . . . . . . . . .6-105
Calculating Checksum for Covergroup Metric . . . . . . . . . . .6-106
7. Unified Coverage API Functions
Coverage Data Load/Unload. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-2
covdb_load . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-3
covdb_loadmerge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-4
covdb_load_mapfile. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-5
covdb_unload . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-5
covdb_save . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-6
covdb_save_exclude_file. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-6
covdb_load_exclude_file . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-7
covdb_save_attempted_file. . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-7
Bypass Checksum Validation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-8
Coverage Database Version Check . . . . . . . . . . . . . . . . . . . . . . . . 7-9
Version Check . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-10
Coverage Data Model Traversal . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-10
covdb_get_handle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-11
covdb_get_qualified_handle . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-11
xv
Feedback
covdb_iterate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-11
covdb_qualified_iterate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-12
covdb_scan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-12
covdb_qualified_object_iterate . . . . . . . . . . . . . . . . . . . . . . . . . 7-13
Memory and Pointer Management . . . . . . . . . . . . . . . . . . . . . . . . . 7-14
covdb_make_persistent_handle . . . . . . . . . . . . . . . . . . . . . . . . 7-15
covdb_release_handle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-16
Reading Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-16
covdb_version . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-17
covdb_get . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-17
covdb_get_str . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-19
covdb_get_real . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-19
Reading Annotations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-20
covdb_get_annotation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-20
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-20
covdb_get_qualified_annotation . . . . . . . . . . . . . . . . . . . . . . . . 7-21
covdb_get_integer_annotation . . . . . . . . . . . . . . . . . . . . . . . . . 7-21
Setting Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-22
covdb_set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-22
covdb_set_str . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-24
covdb_set_annotation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-25
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-25
Error Handling and Recovery . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-25
covdb_set_error_callback . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-26
covdb_get_error. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-27
xvi
Feedback
covdb_configure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-27
covdb_qualified_configure. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-29
API for Assertion Type. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-30
covdb_get_assert_type . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-30
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-31
APIs for Exclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-31
Loading/Saving Exclude File . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-32
covdb_load_exclude_file . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-32
covdb_save_exclude_file. . . . . . . . . . . . . . . . . . . . . . . . . . . 7-33
covdb_unload_exclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-33
covdb_save_attempted_file . . . . . . . . . . . . . . . . . . . . . . . . . 7-34
Iterating Over Flagged-for-Review and Unmappable Exclusions 7-35
Types, Properties, and Relations . . . . . . . . . . . . . . . . . . . . . . . . . . 7-38
Object Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-39
1-To-1 Relations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-40
1-To-Many Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-40
Object Properties. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-41
Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-42
Values . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-42
8. Coverage GUI, Menu, and Toolbar Reference