Diagnosing scan chains using SAT-based diagnostic pattern generation | IEEE Conference Publication | IEEE Xplore