Communicating sequential processes
Communicating sequential processes
VLSI array processors
Configurable hardware: two case studies of micro-grain computation
Systolic array processors
An introduction to functional programming
An introduction to functional programming
Systematic serialisation of array-based architectures
Integration, the VLSI Journal - Special issue on algorithms and architectures
Codesign of Communication Protocols
Computer
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
A declarative approach to incremental custom computing
FCCM '95 Proceedings of the IEEE Symposium on FPGA's for Custom Computing Machines
Compiling for reconfigurable computing: A survey
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for parametrised partitioning into hardware and software can be captured concisely in this framework, and their validity can be checked using algebraic reasoning. The method has been used to guide the development of prototype compilers capable of producing, from a Ruby expression, a variety of implementations involving field-programmable gate arrays (FPGAs) and microprocessors. The viability of this approach is illustrated using a number of examples for two reconfigurable systems, one containing an array of Algotronix devices and a PC host, and the other containing a transputer and a Xilinx device.