Multiprocessor Soc Software Design Flows A focus on Kahn process networks

被引：13

作者：

Haid, Wolfgang ^{[1
]}

Huang, Kai

Bacivarov, Iuliana

Thiele, Lothar ^{[1
]}

机构：

[1] ETH, Swiss Fed Inst Technol, Comp Engn & Networks Lab, Zurich, Switzerland

来源：

IEEE SIGNAL PROCESSING MAGAZINE | 2009年 / 26卷 / 06期

基金：

芬兰科学院;

关键词：

MODELS;

D O I：

10.1109/MSP.2009.934111

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

Typical design flows supporting the software development for multiprocessor systems are based on a board support package and high-level programming interfaces. These software design flows fail to support critical design activities, such as design space exploration or software synthesis. One can observe, however, that design flows based on a formal model of computation can overcome these limitations. In this article, we analyze the major challenges in multiprocessor software development and present a taxonomy of software design flows based on this analysis. Afterwards, we focus on design flows based on the Kahn process network (KPN) model of computation and elaborate on corresponding design automation techniques. We argue that the productivity of software developers and the quality of designs Could be considerably increased by making use Of these techniques.

引用

页码：64 / 71

页数：8

共 23 条

[1]

Bhattacharyya S.S., 1996, Software Synthesis from Dataflow Graphs

[2]

BLEULER S, 2003, FARO PORTUGAL, P494

[3] A platform-based taxonomy for ESL design [J].

Densmore, Douglas ;

Passerone, Roberto ;

Sangiovanni-Vincentelli, Alberto .

IEEE DESIGN & TEST OF COMPUTERS, 2006, 23 (05) :359-374

[4]

DRAKE M, 2006, P INT PAR DISTR P SY

[5] Design of embedded systems: Formal models, validation, and synthesis [J].

Edwards, S ;

Lavagno, L ;

Lee, EA ;

SangiovanniVincentelli, A .

PROCEEDINGS OF THE IEEE, 1997, 85 (03) :366-390

[6] SHIM: A deterministic model for heterogeneous embedded systems [J].

Edwards, Stephen A. ;

Tardieu, Olivier .

IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2006, 14 (08) :854-867

[7] COORDINATION LANGUAGES AND THEIR SIGNIFICANCE [J].

GELERNTER, D ;

CARRIERO, N .

COMMUNICATIONS OF THE ACM, 1992, 35 (02) :96-107

[8]

Gries M, 2004, INTEGRATION, V38, P131, DOI [10.1016/S0167-9260(04)00032-X, 10.1016/j.vlsi.2004.06.001]

[9]

Kahn G., 1974, INF PROC P 6 IFIP C, P471

[10]

Kangas T., 2006, ACM T EMBED COMPUT S, V5, P281

← 1 2 3 →