期刊文献+

基于CDM模型的软硬件协同设计与实现

Hardware-software Co-design and Implementation Based on CDM Model
下载PDF
导出
摘要 针对CDM模型和传统软硬件设计方法的不足,提出了实现软硬件协同设计与验证的HSCT平台:由多层抽象模型组成,以基于C++的系统硬件语言SystemC作为单一的语言工具,分层细化,达到软硬件同步设计和验证的目的,提高了设计的效率和可靠性。 This paper presents a HSCT platform which implements hardware-software co-design and verification for the demerits of CDM model and tradition design methods. Consisted of multi-level abstract models, the platform only uses a SystemC language based on C++, hierarchically refines and gradually realizes hardware-software synchronous design and verification, and thus improves design efficiency and reliability.
出处 《计算机工程》 EI CAS CSCD 北大核心 2005年第24期44-46,共3页 Computer Engineering
基金 上海市科技发展基金资助项目(025007014)
关键词 CDM模型 协同设计 验证 HSCT平台 CDM model Co-design Verification HSCT platform
  • 相关文献

参考文献5

  • 1SystemC. Functional Specification for SystemC 2.0[EB/OL].http://www.systemc.org, 2001.
  • 2Boβung W, Huss S A, Klaus S. High-level Embedded System Specifications Based on Process Activation Conditions[J]. Journal of VLSI Signal Processing, Special Issue on System Design, Kluwer Academic Publishers, 1999, 21 (3): 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[Z]. IEEE CS Workshop on VLSI, Orlando, Florida, 2000-04.
  • 4Salem A. Formal Semantics of Synchronous SystemC[C]. In: Proc. of Design, Automation and Test in Europe (DATE'03), Munich,Germany, 2003.
  • 5Cai Lukai, Gajski D. Transaction Level Modeling in System Level Design[R]. CECS Technical Report (03-10), 2000-03-28.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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