Technical data

check float config
ModelSim EE/SE Command Reference ModelSim Commands CR-49
check float config
The check float config command allows you to write checking messages to a file
(default displays the message on your screen). You may also configure the float
time limit.
Syntax
check float config
[-file <filename>] [-time <limit>]
Arguments
-file <filename>
Specifies a file to write float messages to. Optional. If this option is selected, the
messages are not displayed to the screen.
-time <limit>
Specifies a time limit that a node may be floating. Optional. An error is detected
if a node is floating for as long or longer than the limit. The default limit is 0.
See also
"Bus float checking"
(E-447)