RTL Error Diagnosis Using a Word-Level SAT-Solver | IEEE Conference Publication | IEEE Xplore