Diagnosing scan chains using SAT-based diagnostic pattern generation. - Jin-Fu Li 001; Feijun (Frank) Zheng; Kwang-Ting Cheng (SoCC, 2007)

RTL Error Diagnosis Using a Word-Level SAT-Solver. - Saeed Mirzaeian; Feijun (Frank) Zheng; Kwang-Ting (Tim) Cheng (ITC, 2008)