User guide

C-31
Compile-Time Options
-assert dve
Enables SystemVerilog assertions tracing in the VPD file. This
tracing enables you to see assertion attempts.
Note:
The –debug_pp option writes a smaller VPD file than –debug
-PP making for less overhead.
+vpdfile+filename
Specifies the name of the generated VPD file. You can also use
this option for post-processing, where it specifies the name of the
VPD file.
+vcdfile+filename
Specifies the VCD file you want to use for post-processing.
+vpdfileswitchsize+number_in_MB
Specifies a size for the vpd file. When the vpd file reaches this
size, VCS closes this file and opens a new one with the same
Options for Converting VCD and VPD Files
-vcd2vpd vcd_filename vcdplus_filename
Tells VCS to find and run the vcd2vpd utility that converts a VCD
file to a VPD file. VCS inputs to the utility the specified VCD file
and the utility outputs the specified VPD file.
-vpd2vcd vcdplus_filename vcd_filename
Tells VCS to find and run the vpd2vcd utility that converts a VPD
file to a VCD file. VCS inputs to the utility the specified VPD file
and the utility outputs the specified VCD file.