Specification Driven Design of Phase Locked Loops. - Prakash Easwaran; Prasenjit Bhowmik; Rupak Ghayal (VLSI Design, 2009)