Title: How to Design GPS/GNSS Receivers