Automatic Verification of Combinatorial and Pipelined FFT.

Published in: CAV (1999)

Keyphrases

fourier transform
fast fourier transform
frequency domain
signal processing
fourier transformation
real time
data flow
floating point
combinatorial search
real world
artificial intelligence
search engine
multi agent
computational complexity