Hardware compiler realising concurrent processes in reconfigurable logic

O. Diessel, G. Milne

Research output: Contribution to journalArticle

9 Citations (Scopus)

Abstract

Reconfigurable computers based on field programmable gate array technology allow applications to be realised directly in digital logic. The inherent concurrency of hardware distinguishes such computers from microprocessor-based machines in which the concurrency of the underlying hardware is fixed and abstracted from the programmer by the software model. However, reconfigurable logic provides us with the potential to exploit 'real' concurrency. It is therefore interesting to known how to exploit this concurrency, how to model concurrent computations, and which languages allows this dynamic hardware to be programmed most effectively. The purpose of this work is to describe an FPGA compiler for the Circal process algebra. In so doing, the authors demonstrate that behavioural descriptions expressed in a process algebraic language can be readily and intuitively compiled to reconfigurable logic and that this contributes to the goal of discovering appropriate high-level languages for run-time configuration.

Original languageEnglish
Pages (from-to)152-162
Number of pages11
JournalIEE Proceedings: Computers and Digital Techniques
Volume148
Issue number4-5
DOIs
Publication statusPublished - 1 Jul 2001
Externally publishedYes

Fingerprint Dive into the research topics of 'Hardware compiler realising concurrent processes in reconfigurable logic'. Together they form a unique fingerprint.

Cite this