Verifying global convergence for a digital phase-locked loop.

Jijie Wei, Yan Peng, Ge Yu, Mark R. Greenstreet

Browse the full FMCAD paper archive.