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”, Int’l Conference on Computer-Aided Design (Best Paper Award), November 2011.
Leave a Reply
Want to join the discussion?Feel free to contribute!