Formal methods in the design of an FFT accelerator for a transputer based image processing system

C J Dodge, P G B Ross, Alastair Robert Allen, Peter Edward Undrill

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationMedical and Biological Engineering and Computing
Pages91
Number of pages1
Volume29 S
Publication statusPublished - 1991

Cite this

Dodge, C. J., Ross, P. G. B., Allen, A. R., & Undrill, P. E. (1991). Formal methods in the design of an FFT accelerator for a transputer based image processing system. In Medical and Biological Engineering and Computing (Vol. 29 S, pp. 91)