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

Hafiz ul Asad, Kevin D. Jones

Browse the full DAC paper archive.