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 proceeding › Published conference contribution

Original language	English
Title of host publication	Medical and Biological Engineering and Computing
Pages	91
Number of pages	1
Volume	29 S
Publication status	Published - 1991

Cite this

@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",

}