User guide

C-13
Simulation Options
If you need the delayed versions of the signals in negative timing
checks but want faster performance, include this option at runtime.
The delayed versions are not available if you use this option at
compile-time. See “Enabling Negative Timing Checks” on page
14-13. VCS recognizes +notimingchecks to be the same as
+notimingcheck when you enter it on the vcs or simv
command line.
Options for Specifying When Simulation Stops
+vcs+stop+time
Stop simulation at the time value specified. The time value must
be less than 2
32
or 4,294,967,296.
+vcs+finish+time
Ends simulation at the time value specified.The time value must
be also less than 2
32
.
For both of these options there is a special procedure for
specifying time values larger than 2
32
; see “Specifying a Very Long
Time Before Stopping Simulation” on page 4-8.
Options for Recording Output
-a filename
Specifies appending all messages from simulation to the bottom
of the text in the specified file as well as displaying these
messages on the standard output.
-l filename
Specifies writing all messages from simulation to the specified file
as well as displaying these messages on the standard output.