https://123dok.net/document/yngn4r21-reliable-nco-carrier-generators-for-gps-receivers.html