Towards performance-oriented pattern-based refinement of synchronous models onto NoC communication
2006 (English)In: DSD 2006: 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, Proceedings / [ed] Muthukumar V, 2006, 37-44 p.Conference paper (Refereed)
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four basic forms of NoC process interaction patterns at the process level, namely, producer-consumer, peers, client-server and multicast. We propose a three-step top-down refinement method: channel refinement, protocol refinement and channel mapping. For the producer-consumer pattern, we describe it in detail. In channel refinement, we deal with interfacing multiple clock domains and use a stochastic process to model channel delay and jitter In protocol refinement, we show how to refine communication towards application requirements such as reliability and throughput. In channel mapping, we discuss channel convergence and channel merge arising from channel overlapping. All the refinements have been conducted and validated as an integral design phase towards implementation in ForSyDe, a formal system-level design methodology based on a synchronous model of computation.
Place, publisher, year, edition, pages
2006. 37-44 p.
IdentifiersURN: urn:nbn:se:kth:diva-6844DOI: 10.1109/DSD.2006.89ISI: 000242376400006ScopusID: 2-s2.0-34547995122ISBN: 0-7695-2609-8OAI: oai:DiVA.org:kth-6844DiVA: diva2:11665
9th EUROMICRO Conference on Digital System Design - Architectures, Methods and Tools Cavtat, CROATIA, AUG 30-SEP 01, 2006
QC 201102072007-02-282007-02-282016-08-22Bibliographically approved