Functional programming of real-time reconfigurable embedded systems
by Alan G. Strelzoff
International Journal of Embedded Systems (IJES), Vol. 2, No. 1/2, 2006

Abstract: Reconfigurable computing arrays will consist of mixtures of processors and discrete logic, which will greatly exacerbate the already difficult problems of hardware/software integration and the proper comprehension of time. An execution model and new language based on functional programming is proposed which removes the distinction between hardware and software and supports statically analysable real-time system design. The language is called 'V' because it can be viewed as the synthesisable subset of Verilog with additional functional programming features. The V compiler generates a net-list of the elementary functions, which are supported by a particular array. The full power of functional programming can be employed with the restriction that some recursive function definitions are executed only at instantiation time. The execution model is cycle based synchronous dataflow. V syntax looks much like Verilog or C without pointers in order to facilitate adoption.

Online publication date: Wed, 05-Jul-2006

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Embedded Systems (IJES):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com