IEEE - Institute of Electrical and Electronics Engineers, Inc. - A general consistency technique for increasing the controllability of high level synthesis tools

Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)

Author(s): Arnstein, L.F. ; Thomas, D.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Santa Clara, CA, USA, USA
Conference Date: 7 November 1993
Page(s): 741 - 744
ISBN (Paper): 0-8186-4490-7
DOI: 10.1109/ICCAD.1993.580171
Regular:

A technique is introduced that gives an engineer greater control over the design space considered by a high level synthesis tool. This is accomplished by allowing the engineer to make assertions... View More

Advertisement