Technical data

check stable on

ModelSim EE/SE Command Reference ModelSim Commands CR-51

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

(CR-52). See the check stable

off command

(CR-52).

-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).