Mentor v8.6_4 manual Set Contention Check

Set Contention Check Command Dictionary

Set Contention Check

Tools Supported: FastScan and FlexTest

Scope: All modes

Usage

For FastScan

SET COntention Check OFf {{ON Capture_clock} [-Warning -Error] [-Bus -Port -ALl] [-BIdi_retain -BIDI_Mask] [-ATpg] [-NOVerbose -Verbose -VVerbose]}

For FlexTest

SET COntention Check OFf {ON [-Warning -Error] [-Bus -Port -ALl] [-ATpg] [-Start frame#]}

Description

Specifies the conditions of contention checking.

The Set Contention Check command specifies whether contention checking is on and the conditions under which the tool performs the checks. Contention checking is set to On upon invocation of the tool.

When the tool encounters a bused output of a tri-state driver (or switch) that is driving an X caused by an X on its enable, it does not report contention if the data input to the driver is at the same level as other drivers on the bus. Also, the tool resolves the simulated value of the bus gate to a binary value if it can do so without tracing through additional bus gates.

Arguments

∙OFf

A literal that specifies for the tool not to perform contention checking during simulation.

∙ON

A literal that specifies for the tool to perform contention checking during simulation. FastScan does not propagate captured data effects, however,

2-456 FastScan and FlexTest Reference Manual, V8.6_4