摘要
针对嵌入式系统设计中缺乏高层设计环境,系统规范描述依赖于具体模型等特点,提出了需求驱动的嵌入式系统中的软硬件协同设计方法,研究了从DCDM到SystemC的模型映射技术,开发了模型转换编译工具,并自动生成设计的可执行SystemC程序代码,进行分层验证。最后介绍了一个应用实例。
This paper presents a method about the requirement-driven HW/SW co-design in embedded system for the characteristics of the lack of high-level design environment and system specification description dependent too much on concrete model. It studies the model transform technique from DCDM to systmeC model, developes the compiler tool of model mapping, automatically generates executable SystemC codes, and then makes hierarchical verification, Finally, an example is introduced to the application.
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第12期42-44,共3页
Computer Engineering
基金
上海市科技发展基金资助项目(025007014)
关键词
需求驱动
模型映射
协同验证
Requirement-driven
Model mapping', Co-verification