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