Tight lower bounds on the detection probabilities of single faults at internal signal lines in combinational circuits | IEEE Journals & Magazine | IEEE Xplore