Multi-layer behavioral modeling of charge-pump phase-locked loops | IEEE Conference Publication | IEEE Xplore