Mentor v8.6_4 manual ∙ -ExclusiveFastScan Only

Models: v8.6_4

1 831
Download 831 pages 41.57 Kb
Page 150
Image 150

Analyze Atpg Constraints

Command Dictionary

 

 

-Exclusive(FastScan Only)

An optional switch that specifies for the ATPG process to attempt to create a pattern that sets the selected ATPG constraint at a value different from its constrained value. This test’s intent is to ensure that such a pattern does not exist. During the ATPG process, the test generator does not consider the effect of other ATPG constraints or bus contention prevention (unless you use the -Bus switch).

When the command finishes, FastScan displays a message indicating whether the analysis passed (the ATPG process could not find any possible pattern), failed (the ATPG process found another possible pattern), or aborted (the ATPG process gave up on trying to find a successful pattern). If the analysis fails, the data that FastScan simulated for the pattern is available in parallel pattern zero (0).

-Bus

An optional switch that specifies for the tool to consider bus contention prevention during the ATPG process.

Examples

The following example for FastScan creates an ATPG constraint and then checks for mutual exclusivity:

add atpg constraints 1 435

analyze atpg constraints 435 -exclusive

//ATPG constraint 435=1 failed mutual exclusivity check (data in parallel pattern 0).

Related Commands

Add Atpg Constraints

2-122

FastScan and FlexTest Reference Manual, V8.6_4

Page 150
Image 150
Mentor v8.6_4 manual ∙ -ExclusiveFastScan Only