Refining synchronous communication onto network-on-chip best-effort services
2006 (English)In: Applications of Specification and Design Languages for SoCs / [ed] Vachoux, A., DORDRECHT: Springer , 2006, 23-38 p.Conference paper (Refereed)
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. It is a top-down 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 maintain local synchronization of processes and thus achieve synchronization consistency, which is a key requirement while mapping a synchronous model onto an asynchronous architecture. Within communication mapping, the refined processes and channels are mapped to an 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.
Place, publisher, year, edition, pages
DORDRECHT: Springer , 2006. 23-38 p.
synchronous model, communication refinement, network, on-chip
IdentifiersURN: urn:nbn:se:kth:diva-6843DOI: 10.1007/978-1-4020-4998-9_2ISI: 000242335200002ScopusID: 2-s2.0-84895226825ISBN: 1402049978OAI: oai:DiVA.org:kth-6843DiVA: diva2:11664
Forum on Specification and Design Languages (FDL 05) Lausanne, SWITZERLAND, 2005
QC 201102072007-02-282007-02-282016-08-22Bibliographically approved