Time-Domain Modeling of an RF All-Digital PLL | IEEE Journals & Magazine | IEEE Xplore