Designing coherent carrier-recovery circuitry for demodulating supp