Modeling and simulation of phase-locked loop with Verilog-A description for top-down design | IEEE Conference Publication | IEEE Xplore