Finite-length binary phase codes for digital pulse compression

Binary phase codes for radar pulse compression giving compression ratios greater than 13 (the maximum-length Barker code) must generally be found by trial and error on a digital computer. Formulas are derived for the maximum number of codes of given length which have different autocorrelation functions, and it is shown how redundant codes can be recognised without evaluating the autocorrelation functions.