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