City Research Online

Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming

Ul Asad, H. & Jones, K. (2015). Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming. In: Proceedings of the 25th edition on Great Lakes Symposium on VLSI. (pp. 295-300). New York, USA: ACM. doi: 10.1145/2742060.2742072

Abstract

Phase-lockinginachargepump(CP)phaselockloop(PLL)is said to be inevitable if all possible states of the CP PLL eventually converge to the equilibrium where the input and output phases are in lock. We verify this property for a CP PLL using a mixed deductive and bounded verification methodology.This involves a positivity check of polynomial inequalities (which is an NP-Hard problem) so we use the sound but incomplete Sum of Squares (SOS) relaxation algorithm to provide a numerical solution.

Publication Type: Book Section
Additional Information: © Hafiz Ul Azad and Kevin D. Jones | ACM {2015}. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 25th edition on Great Lakes Symposium on VLSI, http://dx.doi.org/10.1145/2742060.2742072.
Subjects: T Technology > TC Hydraulic engineering. Ocean engineering
Departments: School of Science & Technology
[thumbnail of DAC_IEEE_asad_jones.pdf]
Preview
Text - Accepted Version
Download (1MB) | Preview

Export

Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login