An abstraction-guided simulation approach using Markov models for microprocessor verification | IEEE Conference Publication | IEEE Xplore