Title: Functional programming of real-time reconfigurable embedded systems

Authors: Alan G. Strelzoff

Addresses: Cadence Design Systems, 270 Billerica Road, Chelmsford, MA 01824, USA

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.

Keywords: embedded system design; functional programming; hardware-software co-design; reconfigurable computing; reconfigurable architectures; programming language.

DOI: 10.1504/IJES.2006.010169

International Journal of Embedded Systems, 2006 Vol.2 No.1/2, pp.106 - 113

Published online: 05 Jul 2006 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article