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)

Formal methods in the design of an FFT accelerator for a transputer based image processing system. / Dodge, C J; Ross, P G B; Allen, Alastair Robert; Undrill, Peter Edward.

Medical and Biological Engineering and Computing. Vol. 29 S 1991. p. 91.

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

Dodge, CJ, Ross, PGB, Allen, AR & Undrill, PE 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.
Dodge CJ, Ross PGB, Allen AR, Undrill PE. 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. 1991. p. 91
Dodge, C J ; Ross, P G B ; Allen, Alastair Robert ; Undrill, Peter Edward. / Formal methods in the design of an FFT accelerator for a transputer based image processing system. Medical and Biological Engineering and Computing. Vol. 29 S 1991. pp. 91
@inproceedings{5f12ce16c3384d30b55b9a7da3f7e1bd,
title = "Formal methods in the design of an FFT accelerator for a transputer based image processing system",
author = "Dodge, {C J} and Ross, {P G B} and Allen, {Alastair Robert} and Undrill, {Peter Edward}",
year = "1991",
language = "English",
volume = "29 S",
pages = "91",
booktitle = "Medical and Biological Engineering and Computing",

}

TY - GEN

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

AU - Dodge, C J

AU - Ross, P G B

AU - Allen, Alastair Robert

AU - Undrill, Peter Edward

PY - 1991

Y1 - 1991

M3 - Conference contribution

VL - 29 S

SP - 91

BT - Medical and Biological Engineering and Computing

ER -