State space reductions for scalable verification of asynchronous designs.
Haiqiong YaoHao ZhengChris J. MyersPublished in: HLDVT (2010)
Keyphrases
- state space
- asynchronous circuits
- heuristic search
- markov decision processes
- reinforcement learning
- particle filter
- dynamic programming
- model checking
- optimal policy
- memory efficient
- reinforcement learning algorithms
- face verification
- markov chain
- continuous state spaces
- planning problems
- dynamical systems
- web scale
- initial state
- face recognition
- goal state
- pattern databases
- delay insensitive
- markov decision problems
- highly scalable
- design space
- state transition
- online discussion
- state variables