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
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;
Conference_Titel :
Design Automation. EDAC., Proceedings of the European Conference on
Conference_Location :
Amsterdam
DOI :
10.1109/EDAC.1991.206350
