Radix 2 and split radix 2–4 algorithms in formal synthesis of parallel-pipeline FFT processors | IEEE Conference Publication | IEEE Xplore