<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>8945</REFNUM><AUTHORS><AUTHOR>Vanderbauwhede,W.</AUTHOR></AUTHORS><YEAR>2008</YEAR><TITLE>A Formal Semantics for Control and Data flow in the Gannet Service-based System-on-Chip Architecture</TITLE><PLACE_PUBLISHED>The International Conference on Engineering of Reconfigurable Systems and Algorithms, ERSA 2008</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><LABEL>Vanderbauwhede:2008:8945</LABEL><ABSTRACT>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 Network-on-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.</ABSTRACT></RECORD></RECORDS></XML>