Suspect set prediction in RTL bug hunting | IEEE Conference Publication | IEEE Xplore