© 2000 Todd Neller.  A.I.M.A. text figures © 1995 Prentice Hall.  Used by permission.
Problem Overview
•Suppose:
–You’re working in circuit testing
–You test a great many combinational circuit designs (many quite complex).
–You wish to find a way to automate testing of circuits for Single Stuck-At (SSA) faults:
•A single circuit wire “stuck at” a constant value (e.g. 0 = false=grounded)
•For any given fault, it would be nice to have a circuit input which would give a different result if fault / no fault.