Enhanced reachability analysis via automated dynamic netlist-based hint generation.

Jiazhao Xu Mark Williams Hari Mony Jason Baumgartner

Published in: FMCAD (2012)

Keyphrases

reachability analysis
markov decision processes
dynamic environments
decision making
context sensitive
semi automated
fully automated