Text this: Design of Synthesizable Digital Phase Locked Loops.