Login
- Title:
Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Althoff, M.; Rajhans, A.; Krogh, B. H.; Yaldiz, S.; Li, X.; Pileggi, L.
- Journal title:
- Communications of the ACM
- Year:
- 2013
- Journal volume:
- 56
- Journal issue:
- 10
- Pages contribution:
- 97-104
- Fulltext / DOI:
- doi:10.1145/2507771.2507783
BibTeX