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

关键词: 需求驱动；模型映射；协同验证

Abstract: 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.

Key words: Requirement-driven; Model mapping; Co-verification