Formal verification of phase-locked loops using reachability analysis and continuization.

Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi

Browse the full ICCAD paper archive.