Diagnosing combinational logic designs using the single location at-a-time (SLAT) paradigm | IEEE Conference Publication | IEEE Xplore