Design of Synthesizable Digital Phase Locked Loops. - YUNCHENG ZHANG; KENICHI OKADA (IPSJ Transactions on System LSI Design Methodology, 2024)