Formal verification of phase-locked loops using reachability analysis and continuization.
Matthias AlthoffSoner YaldizAkshay RajhansXin LiBruce H. KroghLarry T. PileggiPublished in: ICCAD (2011)
Keyphrases
- reachability analysis
- formal verification
- phase locked
- model checking
- temporal logic
- timed automata
- model checker
- automated verification
- bounded model checking
- finite state
- formal specification
- symbolic model checking
- formal methods
- program slicing
- planning domains
- temporal information
- binary decision diagrams
- linear temporal logic
- markov decision processes
- artificial intelligence