Quo vadis, SLD? Reasoning about the trends and challenges of system level design

被引:176
作者
Sangiovanni-Vincentelli, Alberto
机构
[1] Department of Electrical Engineering and Computer Science, University of California, Berkeley
基金
美国国家科学基金会;
关键词
embedded software; embedded systems; models and tools; platform-based design (PBD); system-level design (SLD); system-level design environments;
D O I
10.1109/JPROC.2006.890107
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
System-level design (SLD) is considered by many as the next frontier in electronic design automation (EDA). SLD means many things to different people since there is no wide agreement on a definition of the term. Academia, designers, and EDA experts have taken different avenues to attack the problem, for the most part springing from the basis of traditional EDA and trying to raise the level of abstraction at which integrated circuit designs are captured, analyzed, and synthesized from. However, my opinion is that this is just the tip of the iceberg of a much bigger problem that is common to all system industry. In particular, I believe that notwithstanding the obvious differences in the vertical industrial segments (for example, consumer, automotive, computing, and communication), there is a common underlying basis that can be explored. This basis may yield a novel EDA industry and even a novel engineering field that could bring substantial productivity gains not only to the semiconductor industry but to all system industries including industrial and automotive, communication and computing, avionics and building automation, space and agriculture, and health and security, in short, a real technical renaissance. In this paper, I present the challenges faced by industry in system level design. Then, I propose a design methodology, platform-based design (PBD), that has the potential of addressing these challenges in a unified way. Further, I place methodology and tools available today in the PBD framework and present a tool environment, Metropolis, that supports PBD and that can be used to integrate available tools and methods together with two examples of its application to separate industrial domains © 2007 IEEE.
引用
收藏
页码:467 / 506
页数:40
相关论文
共 188 条
[1]   CONJOINING SPECIFICATIONS [J].
ABADI, M ;
LAMPORT, L .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1995, 17 (03) :507-534
[2]  
AGHA G, 1997, J FUNCTIONAL PROGRA, V7, P172
[3]  
AGHA GA, 1986, ACTORS MODEL CONCUR
[4]  
ALLEN R, 1994, PROC INT CONF SOFTW, P71, DOI 10.1109/ICSE.1994.296767
[5]   Reactive modules [J].
Alur, R ;
Henzinger, TA .
FORMAL METHODS IN SYSTEM DESIGN, 1999, 15 (01) :7-48
[6]  
Angiolini F, 2006, DES AUT TEST EUROPE, P1145
[7]  
[Anonymous], 2000, COMPUTERS COMPONENTS
[8]  
[Anonymous], 2005, TRANSACTION LEVEL MO
[9]  
[Anonymous], AMB SPEC
[10]  
[Anonymous], LABV