PLL modeling and verification in a cycle-simulation environment | IBM Journals & Magazine | IEEE Xplore