RTL Error Diagnosis Using a Word-Level SAT-Solver.

Saeed Mirzaeian, Feijun (Frank) Zheng, Kwang-Ting (Tim) Cheng

Browse the full ITC paper archive.