ACL2 Seminar, 2/6/2018

Speaker: Mertcan Temel

Title: A Self-Timed Radix-2 FFT Design

Abstract: We will present an asynchronous fixed-point FFT module. The
FFT implementation uses a radix-2 decimation-in-time algorithm. We
will start with a design for a fixed-point unsigned multiplier
followed by a signed multiplier, a complex multiplier and finally the
overall FFT module.