Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization
We present a scalable and formal technique to verify locking time and stability for charge-pump phase-locked loops (PLLs).
Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved