User`s manual

Simulation
5-70 Verilog Simulation ModelSim Xilinx User’s Manual
+pulse_r/<percent>
This option controls how pulses are propagated through specify path delays,
where <percent> is a number between 0 and 100 that specifies the rejection limit
as a percentage of the path delay. A pulse less than the rejection limit is suppressed
from propagating to the output. If the error limit is not specified (see +pulse_e
(5-
69)
), then it defaults to the rejection limit.
+pulse_e_style_ondetect
This option selects the "on detect" style of propagating pulse errors (see +pulse_e
(5-69)). A pulse error propagates to the output as an X, and the "on detect" style is
to schedule the X immediately, as soon as it has been detected that a pulse error
has occurred. The "on event" style is the default for propagating pulse errors (see
+pulse_e_style_onevent
(5-70)).
+pulse_e_style_onevent
This option selects the "on event" style of propagating pulse errors (see +pulse_e
(5-69)). A pulse error propagates to the output as an X, and the "on event" style is
to schedule the X to occur at the same time and for the same duration that the pulse
would have occurred if it had propagated through normally. The "on event" style
is the default for propagating pulse errors.
+sdf_nocheck_celltype
By default, the SDF annotator checks that the CELLTYPE name in the SDF file
matches the module or primitive name for the CELL instance. It is an error if the
names do not match. The +sdf_nocheck_celltype option disables this error check.
+sdf_verbose
This option displays a summary of the design objects annotated for each SDF file.
+transport_path_delays
By default, path delays operate in inertial mode (pulses smaller than the delay are
filtered). The +transport_path_delays option selects transport mode for path
delays. In transport mode, narrow pulses are propagated through path delays. Note
that this option affects path delays only, and not primitives. Primitives always
operate in inertial delay mode.
+typdelays
This option selects the typical value in min:typ:max expressions. The default is the
typical value. This option has no effect if the min:typ:max selection was
determined at compile time.