Vanderbauwhede, W. (2008) A formal semantics for control and data flow in the gannet service-based system-on-chip architecture. In: International Conference on Engineering of Reconfigurable Systems and Algorithms, Las Vegas, USA, 13-16 July 2008, pp. 167-183.
Text
6546.pdf 199kB |
Publisher's URL: http://www.informatik.uni-trier.de/~ley/db/conf/ersa/index.html
Abstract
There is a growing demand for solutions which allow the design of large and complex reconfigurable Systems-on- Chip (SoC) at high abstraction levels. The Gannet project proposes a functional programming approach for high-abstraction design of very large SoCs. Gannet is a distributed service-based SoC architecture, i.e. a network of services offered by hardware or software cores. The Gannet SoC is task-level reconfigurable: it performs tasks by executing functional task description programs using a demand-driven dataflow mechanism. The Gannet architecture combines the flexible connectivity offered by a Networkon- Chip with the functional language paradigm to create a fully concurrent distributed SoC with the option to completely separate data flows from control flows. This feature is essential to avoid a bottleneck at he controller for run-time control of multiple high-throughput data flows. In this paper we present the Gannet architecture and language and introduce an operational semantics to formally describe the mechanism to separate control and data flows.
Item Type: | Conference Proceedings |
---|---|
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Vanderbauwhede, Professor Wim |
Authors: | Vanderbauwhede, W. |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
College/School: | College of Science and Engineering > School of Computing Science |
Research Group: | ENDS |
Copyright Holders: | Copyright © 2008 The Author |
First Published: | First published in Proceedings of International Conference on Engineering of Reconfigurable Systems and Algorithms |
Publisher Policy: | Reproduced with permission of the author |
University Staff: Request a correction | Enlighten Editors: Update this record