Command Dictionary

Set Contention Check

 

 

indicating the number of these aborted faults for each simulation pass. No attempt is made to change the original pattern.

The -Atpg option results in additional effort by the test pattern generator and you should use it only when necessary.

-Verbose(FastScan Only)

An optional switch that reports the first reason for each pattern rejected (maximum of 32 messages per parallel pattern invocation except on DEC where maximum is 64).

-VVerbose(FastScan Only)

An optional switch that reports the every reason for each pattern rejected (there is no limit to the number of messages per parallel pattern invocation).

For large designs, this option may produce thousands of lines of output for each pattern simulated.

Note

-NOVerbose(FastScan Only)

An optional switch that allows you to turn off the -Verbose or -VVerbose effects that may have been set previously.

-Startframe# (FlexTest Only)

An optional switch and integer that specifies the number of timeframes after initialization, or after each scan loading, when ATPG begins the contention check. The default is timeframe 0.

Due to sequential initialization, the initial states on a bus may be unknown and possible contention may be unavoidable. Thus, this switch allows you to begin the contention checking after design initialization.

Examples

The following example performs contention checking on multiple-port flip-flops and latches, stops the simulation if any bus contention occurs, and displays an error message. The message indicates the number of patterns rejected and the bus gate on which the bus contention occurred:

FastScan and FlexTest Reference Manual, V8.6_4

2-459

Page 487
Image 487
Mentor v8.6_4 ∙ -VerboseFastScan Only, ∙ -VVerboseFastScan Only, ∙ -NOVerboseFastScan Only, ∙ -Startframe# FlexTest Only