A framework for the characterization and verification of embedded phase-locked loops | IEEE Journals & Magazine | IEEE Xplore