User guide

xxi
System Tasks for Capturing Delta Cycle Information. . . . . . . . . 17-20
System Tasks for Capturing Unique Event Information . . . . . . . 17-21
Simulator Run-Time Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17-24
VCD+ Methodology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17-27
Advantages of Separating Simulation from Analysis . . . . . . . . . 17-28
Conceptual Example of Using Verilog VCD+ System Tasks . . . 17-28
VCD+ On/Off PLI Rules. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17-31
Performance Tips. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17-32
18. Translating VCD and VCD+
vcd2vpd Command . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18-2
vpd2vcd Command . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18-5
19. Viewing OpenVera Assertions
Introducing OpenVera Assertions . . . . . . . . . . . . . . . . . . . . . . . . . . 19-2
Built-in Test Facilities and Functions . . . . . . . . . . . . . . . . . . . . . 19-2
How Sequences Are Tested . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19-3
Viewing OVA Results in VirSim . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19-5
20. Waveform Defaults
Waveform Style: Verilog Defaults. . . . . . . . . . . . . . . . . . . . . . . . A-2
Waveform Style: VHDL Defaults . . . . . . . . . . . . . . . . . . . . . . . . A-4
Waveform Style: EPIC Defaults . . . . . . . . . . . . . . . . . . . . . . . . . A-6
Index