@inproceedings{03aa79975f14464d92d038bc3fd66ba0,
title = "Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming",
abstract = "Phase-locking in a charge pump (CP) phase lock loop (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.",
author = "{Ul Asad}, Hafiz and Jones, {Kevin D.}",
note = "Publisher Copyright: {\textcopyright} 2015 ACM.; 52nd ACM/EDAC/IEEE Design Automation Conference, DAC 2015 ; Conference date: 08-06-2015 Through 12-06-2015",
year = "2015",
month = jul,
day = "24",
doi = "10.1145/2744769.2744926",
language = "English",
series = "Proceedings - Design Automation Conference",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "2015 52nd ACM/EDAC/IEEE Design Automation Conference, DAC 2015",
address = "United States",
}