FastScan and FlexTest Reference Manual, V8.6_4
2-122
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
