期刊文献+

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

Mapping Technology of Description Model Based on Requirement-driven
下载PDF
导出
摘要 针对嵌入式系统设计中缺乏高层设计环境,系统规范描述依赖于具体模型等特点,提出了需求驱动的嵌入式系统中的软硬件协同设计方法,研究了从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
  • 相关文献

参考文献4

  • 1罗怡桂,顾君忠.一个分布式嵌入系统的系统级模型[J].计算机工程,2003,29(18):30-31. 被引量:1
  • 2Boβung W,Huss S A,Klaus S,et al.High-level Embedded System Specifications Based on Process Activation Conditions[J].Journal of VLSI Signal Processing,1999,21(3(Special Issue on System Design)):277-291.
  • 3Boβung W,Geyer T,Huss S A,et al.Specification and Validation of Information Processing Systems by Process Encapsulation and Symbolic Execution[C].IEEE Workshop on VLSI,Orlando,Florida,2000-04.
  • 4Kenney J.Optimizing the Design and Verification of Embedded Systems[EB/OL].www.mentor.com/soc/verification,2003.

二级参考文献4

  • 1Wolfgang Boβ ung,Geyer T, Huss S A,et al.Specification and Validation of Information Processing Systems by Process Encapsulation and Symbolic Execution. IEEE CS Workshop on VLSI,Orlando, Florida,2000-04.
  • 2Gupta R K,De Micheli G.Specification and Analysis of Timing Constraints tbr Embedded System.Available at Http://www.citeseer.net.
  • 3Gajski D D,Vahid F.Specification and Design of Embedded Software/Hardware Systems.IEEE Design & Test of Computers, 1995,12( 1 ).
  • 4Wolfgang Boβ ung.Huss S A,Klause S.High-level Embedded System Specifications' Based on Process Activation Conditions.Journal of VLSI Signal Processing, 1999,21 :227-291.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部