User: Guest  Login
Author(s):
Althoff, M.; Rajhans, A.; Krogh, B. H.; Yaldiz, S.; Li, X.; Pileggi, L. 
Title:
Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization 
Journal title:
Communications of the ACM 
Year:
2013 
Journal volume:
56 
Journal issue:
10 
Pages contribution:
97-104