Nonlinear behavioural model of charge pump PLLs