Sign In

Communications of the ACM

Research Archive


Archives

The Research archive provides access to all Research articles published in past issues of Communications of the ACM.

October 2013


From Communications of the ACM

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

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).


From Communications of the ACM

Technical Perspective: Can We Verify Cyber-Physical Systems?

Developing effective symbolic verification technology for mixed discrete-analog models has proved to be a challenging problem. The following paper by Althoff et al. reports a major milestone in this quest.

Read CACM in a free mobile app!
Access the latest issue, plus archived issues and more
ACM Logo
  • ACM CACM apps available for iPad, iPhone and iPod Touch, and Android platforms
  • ACM Digital Library apps available for iOS, Android, and Windows devices
  • Download an app and sign in to it with your ACM Web Account
Find the app for your mobile device
ACM DL Logo