Function Interface Models for Hardware Compilation: Types, Signatures, Protocols

Details Function Interface Models for Hardware Compilation: Types, Signatures, Protocols Function Interface Models for Hardware Compilation: Types, Signatures, Protocols

2009-07-04

arxiv.org/abs/0907.0749v1

Computer Science

Programming Languages

25 pages, 8 figures

Scientific paper

The problem of synthesis of gate-level descriptions of digital circuits from behavioural specifications written in higher-level programming languages (hardware compilation) has been studied for a long time yet a definitive solution has not been forthcoming. The argument of this essay is mainly methodological, bringing a perspective that is informed by recent developments in programming-language theory. We argue that one of the major obstacles in the way of hardware compilation becoming a useful and mature technology is the lack of a well defined function interface model, i.e. a canonical way in which functions communicate with arguments. We discuss the consequences of this problem and propose a solution based on new developments in programming language theory. We conclude by presenting a prototype implementation and some examples illustrating our principles.

Affiliated with

Also associated with

No associations

Rating

Function Interface Models for Hardware Compilation: Types, Signatures, Protocols does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Function Interface Models for Hardware Compilation: Types, Signatures, Protocols, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Function Interface Models for Hardware Compilation: Types, Signatures, Protocols will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-529959