A new diagnostic fault simulator is described that diagnoses both feedback
and nonfeedback bridge faults in combinational circuits while using informa
tion from fault simulation of single stuck-at faults. A realistic fault mod
el is used which considers the existence of the Byzantine Generals Problem.
Sets representing nodes possibly involved in a defect are partitioned base
d on logic and fault simulation of failing vectors. The approach has been d
emonstrated fur two-line bridge faults on several large combinational bench
mark circuits containing Boolean primitives and has achieved over 98% accur
acy for nonfeedback bridge faults and over 85% accuracy for feedback bridge
faults with good diagnostic resolution.