首页 | 本学科首页   官方微博 | 高级检索  
     

嵌入式系统规范语言
引用本文:熊悦,龚育昌,赵振西. 嵌入式系统规范语言[J]. 计算机研究与发展, 2003, 40(3): 493-499
作者姓名:熊悦  龚育昌  赵振西
作者单位:中国科学技术大学计算机科学与技术系,合肥,230027;中国科学技术大学计算机科学与技术系,合肥,230027;中国科学技术大学计算机科学与技术系,合肥,230027
基金项目:国家自然科学基金 ( 60 2 73 0 42 )
摘    要:规范语言是整个嵌入式系统设计方法学的核心。归纳总结了嵌入式系统规范语言的发展过程,并针对当前嵌入式系统的发展趋势。说明了嵌入式系统规范和规范语言的设计需求,进而介绍比较了两种重要的基于C/C++语言的新的规范语言SystemC和SpecC,最后阐述了基于C/C++的规范语言的看法,并展望了未来规范语言的发展。

关 键 词:规范语言  规范  SystemC  SpecC  设计方法学  片上系统

Embedded System Specification Languages
XIONG Yue,GONG Yu-Chang,and ZHAO Zhen Xi. Embedded System Specification Languages[J]. Journal of Computer Research and Development, 2003, 40(3): 493-499
Authors:XIONG Yue  GONG Yu-Chang  and ZHAO Zhen Xi
Abstract:Specification language is always the core of embedded system design methodology In this paper, the design requirements for specification languages of embedded systems are presented first, following a survey of their current progress trends Then, two de facto system level specification languages: SystemC and SpecC, are introduced and compared The points of view of languages based on C/ C++ are presented Finally, the prospects for future specification languages are given
Keywords:specification languages  specification  SystemC  SpecC  design methodology  SoC  
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号