High performance all digital phase locked loop mathematics modeling and design | IEEE Conference Publication | IEEE Xplore