Specification Driven Design of Phase Locked Loops | IEEE Conference Publication | IEEE Xplore