Verification of embedded phase-locked loops | IEEE Conference Publication | IEEE Xplore