Formal verification of phase-locked loops using reachability analysis and continuization
Althoff, Matthias, Rajhans, Akshay, Krogh, Bruce H., Yaldiz, Soner, Li, Xin, Pileggi, LarryVolume:
56
Language:
english
Journal:
Communications of the ACM
DOI:
10.1145/2507771.2507783
Date:
October, 2013
File:
PDF, 1.64 MB
english, 2013