@inproceedings{pace:csaw2005-02,
	TITLE     = {Describing and Verifying FFT circuits using SharpHDL},
	AUTHOR    = {G. J. Pace and C. Vella},
	BOOKTITLE = {Computer Science Annual Workshop 2005 (CSAW'05)},
	PUBLISHER = {University of Malta},
	MONTH     = sep,
	YEAR      = 2005
}