Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization

Titel:: Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Althoff, M.; Rajhans, A.; Krogh, B. H.; Yaldiz, S.; Li, X.; Pileggi, L.
Kongress- / Buchtitel:: Proc. of the Int. Conference on Computer Aided Design
Jahr:: 2011
Seiten:: 659-666
Volltext / DOI:: doi:10.1109/ICCAD.2011.6105400
BibTeX

Vorkommen: