Noise-Shaping All-Digital Phase-Locked Loops:Modeling, Simulation, Analysis and Design