Semiconductor Research Corporation / eAton / MIT Press / Hybrid Systems / International Journal / Intel / fV CO / /
Country
Belgium / /
Currency
USD / / /
Facility
Computer Engineering Carnegie Mellon University / /
IndustryTerm
large analog/mixed signal systems / input solution / model-checking algorithms / online monitoring / nonlinear analog systems / reachability algorithms / partial solution / state solution / closed form solution / i7 processor / linear systems / model checking algorithms / /
Organization
National Science Foundation / Leuven / DN (PFD) / MIT / U.S. Securities and Exchange Commission / North Atlantic Treaty Organization / European Design and Automation Association / Department of Electrical and Computer Engineering Carnegie Mellon University Pittsburgh / C2S2 Focus Center / IEEE Computer Society / /
Person
K. Jones / V / R. Narayanan / Analog / S. Tahar / Jan Madsen / N. Abbasi / Bruce H. Krogh / Z. J. Dong / Larry Pileggi / Sergio Yovine / G. Al Sammane / M. H. Zaki / Z. Wang / Andrew K. Martin / Matthias Althoff / G. Bois / Figure / Xin Li / John Wiley / /
Position
vp / editor / guard / vp Φv Φref / voltages vp / vp ip vp1 Cp1 Rp2 Cp3 frequency divider / forward / discrete-time model for reachability analysis / vp1 vp / /
Product
Minkowski / /
ProvinceOrState
Pennsylvania / /
PublishedMedium
Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /
Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization Matthias Althoff [removed] Akshay Rajhans