Modeling of voltage output charge-pump phase frequency detector in tuning loops | IEEE Journals & Magazine | IEEE Xplore