期刊文献+

基于SystemC的嵌入式系统设计的描述模型 被引量:1

Specified Model of Embedded System Design Based on SystemC
下载PDF
导出
摘要 系统建模是嵌入式系统设计的关键步骤,其好坏直接影响着设计的质量和产品的上市时间。已有多种建模方案,但每种都有其局限性。本文提出一种由5层模型组成的嵌入式系统设计的模型框架。它能够从需求描述开始,建立CDM功能模型,经一致性验证,满足设计要求后映射到SystemC抽象模型上。利用SystemC的硬件描述特征和仿真库,增加设计细节,分层细化模型并进行验证,最后达到软硬件的协同设计和综合实现的目的。 System modeling is an essential design in embedded system. It will directly affect design quality and time on market. Nowadays, there are some modeling solutions, but each of them has its limits. In this paper a new modeling frame of embedded system design is presented that consists of 5 level abstraction models. The suggested solutions make up of specification the product ~s requirements, establishing CDM model, consistently verifying these constructed components to satisfy the requirements of design, and mapping them into the SystemC abstraction models. With SystemC hardware properties and simulation kernel, the models can be gradually refined and verified by adding details. The suggested approaches get the aim of the hardware-software co-design and synthesis implementation.
作者 栾静 顾君忠
出处 《计算机科学》 CSCD 北大核心 2005年第8期209-212,共4页 Computer Science
基金 上海市科技发展基金(No.025007014)
  • 相关文献

参考文献7

  • 1System C. Functional Specification for SystemC2.0. [EB/OL]http: ∥www. systemc. org, 2001.
  • 2Keutzer K,et al. System level design: Orthogonalization of concerns and platform-based design. IEEE Transactions on Computer-Aided Design, Dec. 2000.
  • 3Paulin P,et al. Stepnp: A system-level exploration platform for network processors. In IEEE Design and Test of Computers,Nov-Dec 2002.
  • 4Cesario W, et al. Multiprocessor soc platforms: a componentbased design approach. In IEEE Design and Test of Computers,Nov-Dec 2002.
  • 5Cai L, et al. Comparison of SpecC and SystemC Languages for System Design: [Technical Report CECS-TR-03-11 ]. UCI, May 2003.
  • 6Boβung W, Huss S A, Klaus S. High-Level Embedded System Specifications Based on Process Activation Conditions. Journal of VLSI Signal Processing, Special Issue on System Design, Kluwer Academic Publishers, 1999,21 ( 3 ): 277 ~ 291.
  • 7Cai Lukai,Gajski D. Transaction Level Modeling in System Level Design. CECS Technical Report 03-10 Mar 28, 2003.

同被引文献41

  • 1张钦,韩承德.基于存储技术的高速嵌入式处理器的设计与实现[J].计算机学报,2007,30(5):831-837. 被引量:2
  • 2Corporation A. Altera Product Catalog[R/OL]. http://www. altera. com, 2011.
  • 3Coussy P, Gajski D D, Meredith M, et al. An Introduction to High-Level Synthesis[J]. Design & Test of Computers, 2009, 26(4):8-17.
  • 4Cardoso J M P, Diniz P C. Compilation Techniques for Reconfigurable Architectures [M/OL]. http://www. springerlink. com, 2008.
  • 5Graphics M. Catapult C Synthesis[EB/OL]. http://www. mentor. com/esl/catapult, 2011.
  • 6Coussy P,Morawiec A. High-Level Synthesis-From Algorith to Digital Circuit[M/OL]. http://www. springerlink. com, 2008.
  • 7Martin G, Smith G. High-Level Synthesis: past, present, and future[J]. Design & Test of Computers, 2009,26(4) : 18-25.
  • 8Nishimura M, Nishiguchi K, Ishiura N, et al. High-Level Synthesis of Variable Accesses and Function Calls in Software Compatible Hardware Synthesizer CCAP[C]//The 13th Workshop on Synthesis and System Integration of Mixed Information Technologies. 2006.
  • 9Canis A, Choi J, Aldham M, et al. LegUp: high-level synthesis for FPGA-based processor/accelerator systems[C] //Proceedings of the 19th ACM/SIGDA international symposium on Field programmable gate arrays(FPGA'11). 2011 : 33-36.
  • 10The Stanford SUIF Compiler Group [EB/OL]. http://suif. stan-ford. edu, 2011.

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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