基于需求驱动的描述模型映射技术

摘要：

针对嵌入式系统设计中缺乏高层设计环境,系统规范描述依赖于具体模型等特点,提出了需求驱动的嵌入式系统中的软硬件协同设计方法,研究了从DCDM到SystemC的模型映射技术,开发了模型转换编译工具,并自动生成设计的可执行SystemC程序代码,进行分层验证.最后介绍了一个应用实例.

关键词：需求驱动、模型映射、协同验证

所属期刊栏目：32

分类号：TP311.52(计算技术、计算机技术)

资助基金：上海市科技发展基金025007014

在线出版日期：2006-07-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：42-44