Gps receiver design