Fairly detailed description of a GPS receiver using 1-bit quantisation, down-conversion, despreading and tracking in an FPGA. The tracking loops are implemented in firmware on a custom Forth-based processor (in the same FPGA), the navigation solution is computed in a Raspberry π (
http://www.raspberrypi.org/archives/3916).