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

Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach

“…Deductive and deductive-bounded approaches have been used for the inevitability verication of a charge pump phase lock loop in [7]. To the best of our knowledge, this is the rst deductive approach for the solution of the research problem posed in [2].…”