Behavioral modeling of charge pump phase locked loops | IEEE Conference Publication | IEEE Xplore