On diagnosing faults in digital circuits by