User guide

xxii
Using Encrypted Files . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-44
Testbench Functional Coverage . . . . . . . . . . . . . . . . . . . . . . . . . 21-45
Coverage Models Using Coverage Groups . . . . . . . . . . . . . . 21-46
Measuring Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-49
Controlling Coverage Collection Globally . . . . . . . . . . . . . . . 21-51
Unified Coverage Reporting. . . . . . . . . . . . . . . . . . . . . . . . . . 21-53
Coverage Reporting Flow. . . . . . . . . . . . . . . . . . . . . . . . . 21-54
Persistent Storage of Coverage Data and
Post-Processing Tools . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-56
Unified Coverage Directory and Database Control . . . . . 21-56
Loading Coverage Data. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-58
Solver Choice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-61
Automatic Solver Orchestration . . . . . . . . . . . . . . . . . . . . . . . 21-62
Temporal Assertions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-63
Temporal Assertion Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-65
Adding Assertion Objects to a Testbench. . . . . . . . . . . . . 21-65
Including the Header Files . . . . . . . . . . . . . . . . . . . . . . . . 21-66
Setting Up the AssertEngine Object. . . . . . . . . . . . . . . . . 21-66
Controlling Assertion Reporting . . . . . . . . . . . . . . . . . . . . 21-66
Resetting Assertion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-67
Instantiating Assertion Objects. . . . . . . . . . . . . . . . . . . . . 21-67
Controlling Evaluation Attempts . . . . . . . . . . . . . . . . . . . . 21-68
Counting Successes and Failures . . . . . . . . . . . . . . . . . . 21-68
Setting Up the AssertEvent Objects. . . . . . . . . . . . . . . . . 21-69
Instantiating AssertEvent Objects . . . . . . . . . . . . . . . . . . 21-69
Suspending Threads . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-70
Eliminating AssertEvent Objects . . . . . . . . . . . . . . . . . . . 21-70
Terminating the AssertEngine . . . . . . . . . . . . . . . . . . . . . 21-71