Nonlinear state-space model of charge-pump based frequency synthesizers | IEEE Conference Publication | IEEE Xplore