Login / Signup

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

Matthias AlthoffSoner YaldizAkshay RajhansXin LiBruce H. KroghLarry T. Pileggi
Published in: ICCAD (2011)
Keyphrases