A GPS receiver with synthesized local oscillator