Browse by author
Lookup NU author(s): Dr Frank Burns, Professor David Kinniment, Dr Albert Koelmans
We present 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.
Author(s): Burns FP, Kinniment DJ, Koelmans AM
Publication type: Report
Publication status: Published
Series Title: Computing Laboratory Technical Report Series
Year: 1991
Pages: 12
Print publication date: 01/01/1991
Source Publication Date: January 1991
Report Number: 321
Institution: Computing Laboratory, University of Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/321.pdf