Deductive-Fault-Simulator Fault Simulator which detects where "Stuck at 0" and "Stuck at 1" Faults are propogated.