A full function Verilog(R) PLL logic model | IEEE Conference Publication | IEEE Xplore