Title: The application of digital techniques to Navstar GPS receiver design