Academic
Publications
A Formal Semantics for Control and Data flow in the Gannet Service-based System-on-Chip Architecture

A Formal Semantics for Control and Data flow in the Gannet Service-based System-on-Chip Architecture,Wim Vanderbauwhede

A Formal Semantics for Control and Data flow in the Gannet Service-based System-on-Chip Architecture   (Citations: 1)
BibTex | RIS | RefWorks Download
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 pro- poses 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 reconfigurab le: it performs tasks by executing functional task description programs using a demand-driven dataflow mechanism. The Gannet archi- tecture combines the flexible connectivity offered by a Netw ork- 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 essent ial 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. Distributed System-on-Chip architecture, Operational Se - mantics, Service-based System-on-Chip, Network-on-Chip
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...The key components of the Gannet framework have been published previously: the Gannet architecture and specifically the Service Manager [2] , the Quarc Network-on-Chip [13], [14] and the Gannet language [15], [16]...
    • ...As explained in [15] and [3], the Gannet platform constitutes the distributed processing machine for the compiled Gannet-C language...
    • ...The semantics of control services in Gannet is discussed in detail in [15]; for the current discussion it suffices to say that by default, when the service manager encounters a reference word in an instruction, it will always request the computation referred to and wait for the result...
    • ...The Buf template type is essential to distinguish a buffer from ordinary variables, which are in Gannet provided by a dedicated service (see [15], [3] for details)...

    Wim Vanderbauwhedeet al. A high-level language for programming a NoC-based Dynamic Reconfigurat...

Sort by: