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.