System level modeling of Phase Locked Loops