Describing and Verifying FFT circuits using (2005)
BibTeX
@MISC{Pace05describingand,
author = {Sharphdl Gordon Pace and Gordon J. Pace and Christine Vella},
title = {Describing and Verifying FFT circuits using},
year = {2005}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Fourier transforms are critical in a variety of fields but in the past, they were rarely used in applications because of the big processing power required. However, the Cooley's and Tukey's development of the Fast Fourier Transform (FFT) vastly simplified this. A large number of FFT algorithms have been developed, amongst which are the radix-2 and the radix-2 . These are the ones that have been mostly used for practical applications due to their simple structure with constant butterfly geometry. Most of the research to date for the implementation and benchmarking of FFT algorithms have been performed using general purpose processors, Digital Signal Processors (DSPs) and dedicated FFT processor ICs but as FPGAs have developed they have become a viable solution for computing FFTs. In this paper, SharpHDL, an object oriented HDL, will be used to implement the two mentioned FFT algorithms and test their equivalence.
Citations
| 464 | Symbolic model checking: An approach to the state explosion problem - Mcmillan - 1992 |
| 420 | The synchronous dataflow programming language Lustre - Halbwachs, Caspi, et al. - 1991 |
| 88 | Synchronous observers and the verification of reactive systems - Halbwachs, Lagnier, et al. - 1993 |
| 22 | Synchronous programming of reactive systems, a tutorial and commented bibliography - Halbwachs - 1998 |
| 20 | A tutorial on Lava: A hardware description and verification system - Claessen, Sheeran - 2000 |
| 17 | Embedded Languages for Describing and Verifying Hardware - Claessen - 2001 |
| 11 | Bit reversal on uniprocessors - Karp - 1996 |
| 4 | Hardware Design Based on Verilog HDL - Pace - 1998 |
| 2 | CSCI 320 Computer Architecture Handbook on Verilog HDL - Hyde - 1783 |
| 1 | SharpHDL: A Hardware Description Language Embedded in C - Vella - 2004 |
| 1 | Amira & A. Bouridane, FPGA Implementations of FFT for real-time signal and image processing - Uzun, A |
| 1 | Boutquin and Meeta - Ferguson, Patterson, et al. |
