DocumentCode
3105229
Title
Correct interactive transformational synthesis of DSP hardware
Author
Burns, F.P. ; Kinniment, D.J. ; Koelmans, A.M.
Author_Institution
Newcastle upon Tyne Univ., UK
fYear
1991
fDate
25-28 Feb 1991
Firstpage
16
Lastpage
21
Abstract
Presents a new interactive tool for the guided synthesis of digital signal processing hardware. The tool is driven from a HDL. It will suggest different ways of implementing different architectures for the same specification, maintaining the correctness of implementations during the design process. The tool will automatically generate input for the Boyer Moore theorem prover from the HDL specification in order to verify the correctness of the implementations
Keywords
digital signal processing chips; specification languages; theorem proving; Boyer Moore theorem prover; DSP hardware; HDL; correctness; interactive tool; interactive transformational synthesis; Algorithm design and analysis; Circuit synthesis; Digital signal processing; Hardware design languages; High level synthesis; Process design; Signal processing algorithms; Signal synthesis; Space exploration; Tree graphs;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation. EDAC., Proceedings of the European Conference on
Conference_Location
Amsterdam
Type
conf
DOI
10.1109/EDAC.1991.206350
Filename
206350
Link To Document