Table of Contents Previous page Next page Index

ModelSim Documentation Bookcase

Model Technology Inc.


check contention config

The check contention config command allows you to write checking messages to a file (messages display on your screen by default). You may also configure the contention time limit.

Syntax

check contention config

[-file <filename>] [-time <limit>]

Arguments

-file <filename>

Specifies a file to which to write contention messages. 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 as or longer than the limit. The default limit is 0.

See also

"Bus contention checking"


Model Technology Inc.
Model Technology Incorporated
Voice: (503) 641-1340
Fax: (503)526-5410
www.model.com
sales@model.com
Table of Contents Previous page Next page Index

ModelSim Documentation Bookcase