ePrints

Correct Interactive Transformational Synthesis of DSP Hardware

Lookup NU author(s): Dr Frank Burns, Professor David Kinniment, Dr Albert Koelmans

Downloads

• Published version [.pdf]

Abstract

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.

Publication metadata

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

Share