User guide

xxviii
Tcl Commands For SVA And OVA Functional
Coverage Reports. . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-49
The assertCovReport Report Files . . . . . . . . . . . . . . . . . . . . 23-56
The report.index.html File. . . . . . . . . . . . . . . . . . . . . . . . . 23-57
The tests.html File . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-62
The category.html File . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-62
The hier.html File . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-63
Assertion Monitoring System Tasks . . . . . . . . . . . . . . . . . . . . 23-64
Assertion System Functions . . . . . . . . . . . . . . . . . . . . . . . . . 23-68
Using Assertion Categories . . . . . . . . . . . . . . . . . . . . . . . . . . 23-68
Using OpenVera Assertion System Tasks . . . . . . . . . . . . 23-69
Using Attributes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-70
Stopping And Restarting Assertions By Category . . . . . . 23-71
24. SystemVerilog Testbench Constructs
Enabling Use of SystemVerilog Testbench Constructs . . . . . . . . 24-1
VCS Flow for SVTB. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-1
Options For Compiling and Simulating SystemVerilog Testbench
Constructs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-2
Compile-Time Options . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-2
Runtime Options. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-3
Compile Time or Runtime Options . . . . . . . . . . . . . . . . . . 24-4
The string Data Type . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-5
String Manipulation Methods . . . . . . . . . . . . . . . . . . . . . . . . . 24-5
String Conversion Methods . . . . . . . . . . . . . . . . . . . . . . . . . . 24-8
Predefined String Methods . . . . . . . . . . . . . . . . . . . . . . . . . . 24-12
Program Blocks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-15