Automated trace signals selection using the RTL descriptions | IEEE Conference Publication | IEEE Xplore