Mentor v8.6_4 User Manual

Page of 831
Command Dictionary
Analyze Atpg Constraints
FastScan and FlexTest Reference Manual, V8.6_4
2-121
satisfied by itself, but some set of constraints cannot all be satisfied. In this
case, -Auto switch proceeds to a second analysis where it adds atpg constraints
to a set to create a minimal set that can’t be satisfied.
-ALl
An optional switch that specifies for FastScan and FlexTest to perform the
ATPG analysis simultaneously for all the current ATPG constraints. This is the
command default if you do not specify an object name.
pin_pathname
A repeatable string that specifies the pathname to the pin on which you are
analyzing the constraints.
gate_id#
A repeatable integer that specifies the gate identification number of the gate on
which you wish to analyze the constraints.
function_name
A repeatable string that specifies the name of a function you created with the
Add Atpg Functions command. If you generated the ATPG function with the
-Cell option and added constraints with the -Cell option, then the tool also
analyzes the constraints on all the cells affected by that ATPG function.
-Satisfy (FastScan Only)
An optional switch that specifies for the ATPG process to attempt to create a
pattern that satisfies the selected ATPG constraint. This is the default if you
specify an object name without a switch. 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 successfully generated a pattern), failed
(the ATPG process could not find any possible pattern), or aborted (the ATPG
process gave up on trying to find a successful pattern). If the analysis passes,
the data that FastScan simulated for the pattern is available in parallel pattern
zero (0).