IEEE - Institute of Electrical and Electronics Engineers, Inc. - Performing high-level synthesis via program transformations within a theorem prover

Proceedings 24th EUROMICRO Conference

Author(s): Blaumenrohr, C. ; Eisenbiegler, D.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1998
Conference Location: Vasteras, Sweden, Sweden
Conference Date: 27 August 1998
Volume: 1
ISBN (Paper): 0-8186-8646-4
ISSN (Paper): 1089-6503
DOI: 10.1109/EURMIC.1998.711771
Regular:

In this paper, we present a new methodology towards performing high-level synthesis. During high-level synthesis an algorithmic description is mapped to a structure of hardware components. In our... View More

Advertisement