节点文献
基于CDM的嵌入式系统描述与模拟验证环境
Specification and verification environment for embedded system over CDM
【摘要】 从嵌入式系统的设计需求出发,提出采用CDM构造嵌入式系统的描述模型,然后根据相关规则将需求文档转换为CDM描述模型、把CDM描述模型转换成SystemC代码,以完成嵌入式系统的模拟验证的方法和实验环境。最后介绍了该方法的一个应用实例。
【Abstract】 This paper illustrated a new approach and environment to describe and simulate the embedded system. Firstly, auther constructed the CDM models to describe the design requirements of the specified system. Secondly, in order to get the aim of verification of a specified system, according to the converting rules, the approach automatic converted the requirements documents to the CDM models and SystemC codes to simulate a specified system. Finally, an application example using the above approach was illustrated.
【关键词】 嵌入式系统;
系统描述;
CDM模型;
模拟验证;
【Key words】 embedded system; hardware/software co-design; CDM; SystemC;
【Key words】 embedded system; hardware/software co-design; CDM; SystemC;
【基金】 上海市科学技术发展基金资助项目(3506)
- 【文献出处】 计算机应用 ,Computer Applications , 编辑部邮箱 ,2005年02期
- 【分类号】TP302
- 【被引频次】5
- 【下载频次】72