© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Test Pattern Generation (cont.)
•
Then we fix the output
of this combined circuit
to true, and treat this as a
boolean satisfiability
problem, seeking a
satisfying truth
assignment to the inputs.
•
Such an assignment will
be a test pattern suitable
for testing for the given
fault.
true
?
?
?
true
