An abstraction-guided simulation approach using Markov models for microprocessor verification.

Tao Zhang Tao Lv Xiaowei Li

Published in: DATE (2010)

Keyphrases

markov models
markov model
maximum entropy
hidden markov models
higher order
low order
functional verification
hidden state
sequence prediction
conditional random fields
sequence classification
transition probabilities
model checking
information retrieval
maximum likelihood
conditional probabilities