RTL level trace signal selection and coverage estimation during post-silicon validation | IEEE Conference Publication | IEEE Xplore