Technical data

check contention config
CR-46 ModelSim Commands ModelSim EE/SE Command Reference
check contention config
The check contention config command allow you to write checking messages to
a file (default displays the message on your screen). You may also configure the
contention time limit.
Syntax
check contention config
[-file <filename>] [-time <limit>]
Arguments
-file <filename>
Specifies a file to write contention 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 in contention. Optional. Contention is
detected if a node is in contention for as long or longer than the limit. The default
limit is 0.
See also
"Bus contention checking"
(E-446)