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 
Book / Congress title:
Proc. of the Int. Conference on Computer Aided Design 
Year:
2011 
Pages:
659-666