User guide

C-44
Compile-Time Options
the signals in the $setuphold and $recrem timing checks. See
“Other Timing Checks Using the Delayed Signals” on page 14-14.
+NTC2
In $setuphold and $recrem timing checks, specifies checking
the timestamp and timecheck conditions when the original data
and reference signals change value instead of when their delayed
versions change value. See “Checking Conditions” on page
14-18.
+overlap
Enables accurate simulation of multiple non-overlapping violation
windows for the same signals specified with negative delay values
back annotated from an SDF file to timing checks. See “Using
Multiple Non-Overlapping Violation Windows” on page 14-23.
Options for Flushing Certain Output Text File Buffers
When VCS creates a log file, VCD file, or a text file specified with the
$fopen system function, VCS writes the data for the file in a buffer
and periodically dumps the data from the buffer to the file on disk.
The frequency of these dumps varies depending on many factors
including the amount of data that VCS has to write to the buffer as
simulation or compilation progresses. If you need to see or use the
latest information in these files more frequently than the rate at which
VCS normally flushes this data, these options tell VCS to flush the
data more often during compilation or simulation.
+vcs+flush+log
Increases the frequency of flushing both the compilation and
simulation log file buffers.
+vcs+flush+dump
Increases the frequency of flushing all VCD file buffers.