Circuits And Techniques For All-Digital Frequency Synthesizers And Design Automation