Корелляция проводится по специальному алгоритму. В коммерческих приемниках корелляция проводится многоходовкой - последовательно просматриваются для каждого спутника в системе разные значения относительных скоростей (а значит частота сдвигается на некую величину) и некоторое время накапливается сигнал - если не найден, то выбирается другая относительная скорость (диапазон) и вновь корелируется.
Исходя из оптимального для коммерческого пользователя вероятной скорости и времени поиска (вспомните, что холодный старт занимает больше минуты, пока ищутся спутники) и появились ограничения в скорости.
Математика вроде открыта, на русском мало что путного есть, на английском - есть нормальные описания.

А самому сделать - это FUN - бессмыслено, но прикольно :)