A system-verilog behavioral model for PLLs for pre-silicon validation and top-down design methodology | IEEE Conference Publication | IEEE Xplore