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

Titel:: Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization
Dokumenttyp:: Zeitschriftenaufsatz
Autor(en):: Althoff, M.; Rajhans, A.; Krogh, B. H.; Yaldiz, S.; Li, X.; Pileggi, L.
Zeitschriftentitel:: Communications of the ACM
Jahr:: 2013
Band / Volume:: 56
Heft / Issue:: 10
Seitenangaben Beitrag:: 97-104
Volltext / DOI:: doi:10.1145/2507771.2507783
BibTeX

Vorkommen: