Login / Signup

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

Matthias AlthoffAkshay RajhansBruce H. KroghSoner YaldizXin LiLarry T. Pileggi
Published in: Commun. ACM (2013)
Keyphrases