User guide

C-42
Compile-Time Options
Options to Enable and Disable Specify Blocks and
Timing Checks
+pathpulse
Enables the search for the PATHPULSE$ specparam in specify
blocks.
+nospecify
Suppresses module path delays and timing checks in specify
blocks. This option can significantly improve simulation
performance.
+notimingcheck
Tells VCS to ignore timing check system tasks when it compiles
your design. This option can moderately improve simulation
performance. The extent of this improvement depends on the
number of timing checks that VCS ignores. You can also use this
option at runtime to disable these timing checks after VCS has
compiled them into the executable. However, the executable
simulates faster if you include this option at compile-time so that
the timing checks are not in the executable. 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.
Note:
VCS recognizes +notimingchecks to be the same as
+notimingcheck when you enter it on the vcs or simv
command line.
+no_notifier
Disables toggling of the notifier register that you specify in some
timing check system tasks. This option does not disable the