Effective error diagnosis for RTL designs in HDLs | IEEE Conference Publication | IEEE Xplore