Text this: Modeling the phase step response of digital Bang-Bang PLLs