Digital Pll Frequency Synthesizers: Theory and Design