Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization
M. Althoff, A. Rajhans, B. Krogh, S. Yaldiz, X. Li, and L. Pileggi, “Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization”, Communications of the ACM (invited paper), 2012.
Leave a Reply
Want to join the discussion?Feel free to contribute!