Login
- Title:
Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization
- Document type:
- Konferenzbeitrag
- Author(s):
- Althoff, M.; Rajhans, A.; Krogh, B. H.; Yaldiz, S.; Li, X.; Pileggi, L.
- Book / Congress title:
- Proc. of the Int. Conference on Computer Aided Design
- Year:
- 2011
- Pages:
- 659-666
- Fulltext / DOI:
- doi:10.1109/ICCAD.2011.6105400
BibTeX