Microprocessor Verification via Feedback-Adjusted Markov Models.
Ilya WagnerValeria BertaccoTodd M. AustinPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2007)
Keyphrases
- markov models
- functional verification
- markov model
- higher order
- hidden markov models
- maximum entropy
- low order
- hidden state
- transition probabilities
- sequence classification
- conditional random fields
- sequence prediction
- model checking
- formal verification
- markov chain
- machine learning
- statistical model
- probability distribution
- probabilistic model
- reinforcement learning
- image processing