Abstraction-Guided Simulation Using Markov Analysis for Functional Verification | IEEE Journals & Magazine | IEEE Xplore