A bang-bang all-digital PLL for frequency synthesis