Я конечно дико извиняюсь, но все известные мне недорогие навигационные применики вначале прыгали до "низкой ПЧ", потом цифровали ее 1.5-2 бита АЦП, а потом уже перемножали оцифрованный сигнал на последовательность. На кучу посоедоваельностей - и искали пик ВКФ.