Что есть коррелятор? Это надо всю ПСП умножить на опорный код и сложить все элементы. И всё это за один такт. Таким образом нужно в 1000 раз больше тактовая частота, если процессор может это делать лишь последовательно. Либо в нём должно быть в 1000 раз больше сумматоров и т.п. элементов, работающих одновременно. И это лишь один канал.
мнэээ, на мой взгляд, всю ПСП еще надо где-то заиметь :) т.е сохранить и потом перемножить :) т.к. это не выгодно, предположу что корреляция идет последовательно с интегрированием ошибки разности. тот же частотный/фазовый детектор только более сложный.