© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Example: SSA Circuit Fault
Testing
•
Problem Overview
–
Combinational circuits
–
Single-Stuck-At (SSA) faults
–
Automatic Test Pattern Generation
•
Notation translation for Larrabee paper
•
Normal circuit example
•
Conversion to Conjunctive Normal Form
(CNF)
