An ATPG Method for Double Stuck-At Faults by Analyzing Propagation Paths of Single Faults | IEEE Journals & Magazine | IEEE Xplore