Jijie Wei

Verifying global convergence for a digital phase-locked loop

Ge Yu, Yan Peng, Mark R. Greenstreet, 2013, 2013 Formal Methods in Computer-Aided Design.