Tyck till om SwePub Sök
här!
Sökning: id:"swepub:oai:DiVA.org:kth-6843" >
Refining synchronou...
Refining synchronous communication onto network-on-chip best-effort services
-
- Lu, Zhonghai (författare)
- KTH,Elektronik- och datorsystem, ECS
-
- Sander, Ingo (författare)
- KTH,Elektronik- och datorsystem, ECS
-
- Jantsch, Axel (författare)
- KTH,Elektronik- och datorsystem, ECS
-
(creator_code:org_t)
- DORDRECHT : Springer, 2006
- 2006
- Engelska.
-
Ingår i: Applications of Specification and Design Languages for SoCs. - DORDRECHT : Springer. - 1402049978 ; , s. 23-38
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- synchronous model
- communication refinement
- network
- on-chip
- Computer science
- Datavetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas