Refinement of A Perfectly Synchronous Communication Model onto Nostrum NoC Best-Effort Communication Service
Zhonghai Lu, Ingo Sander, Axel Jantsch · 2005
We present a novel approach to refine a system model specified with perfectly synchronous communication onto a Network-on-Chip (NoC) best-effort communication service. We propose a topdown procedure with three steps, namely, channel refinement, process refinement, and communication mapping. In channel refinement, synchronous channels are replaced with stochastic channels abstracting the best-effort service. In process refinement, processes are refined in terms of interfaces and synchronization properties. Particularly, we use synchronizers to achieve synchronization consistency. Within communication mapping, the refined processes and channels are mapped to a NoC architecture. Adopting the Nostrum NoC platform as target architecture, we use a digital equalizer as a tutorial example to illustrate the feasibility of our concepts. 1