Technical data

check stable on
ModelSim EE/PLUS Reference Manual Simulator Command Reference
-
289
check stable on
The
check stable on
command enables stability checking on the entire design.
Design stability checking detects when circuit activity has not settled within a
user-defined period for synchronous designs.
Syntax
check stable on
[-file <filename>] [-period <time>] [-strobe <time>]
Arguments
-file <filename>
Specifies a file to write the error messages to. If this option is selected, the messages are
not displayed to the screen. Optional.
-period <time>
Specifies the clock period (which is assumed to begin at the time the
check stable on
command is issued). Optional. This option is required the first time you invoke the
check
stable on
command. It is not required if you later enable checking after it was disabled with
the
check stable off
command (p290). See the
check stable off
command (p290).
-strobe <time>
Specifies the elapsed time within each clock cycle that the stability check is performed.
Optional. The default strobe time is the period time. If the strobe time falls on a period
boundary, then the check is actually performed one timestep earlier. Normally the strobe
time is specified as less than or equal to the period, but if it is greater than the period, then
the check will skip cycles.
Examples
check stable on -period "100 ps" -strobe "199 ps"
Performs a stability check 99 ps into each even numbered clock cycle (cycle numbers start
at 1).
See also
"Design stability checking" (p537)