QUEBS: Qualifying Event Based Search in Concolic Testing for Validation of RTL Models | IEEE Conference Publication | IEEE Xplore