期刊文献+

基于μCOS-Ⅱ的SoC协同设计和验证

Co-verification of Hardware and Software for ARM SoC Design Based on μCOS-Ⅱ
下载PDF
导出
摘要 日益复杂的应用需求,使得SoC的功能复杂度、集成度以及性能迅速提高,给SoC设计和验证带来了新的挑战,势必要求我们必须采用更为可靠和有效的设计和验证方案。以软硬件协同设计方法学、验证方法学为指导,系统的介绍了某型号的基于ARM7的SoC设计过程中,以嵌入式操作系统μCOS-Ⅱ为软件平台的SoC软硬件协同设计和验证的具体过程和实施方案,最后对验证过程和结果进行了阐述和分析。 More complex application demand causes the function and the complexityof SoC rapid promotion and a reliable and an effective plan of SoC design and Verification become very important. A method of Co- Verification of hardware and software based on μCOS- Ⅱ for the ARM SoC in the design process are presented. The paper amply introduces the concrete scheme and analysis of result is given finally.
出处 《航空计算技术》 2008年第3期115-118,共4页 Aeronautical Computing Technique
基金 陕西省自然科学基础研究项目
关键词 SOC μCOS-Ⅱ ARM 协同设计和验证 SoC μCOS- Ⅱ ARM Co- Verification
  • 相关文献

参考文献6

  • 1林文敏,吴涛,沈泊.基于AMBA总线的SoC平台的设计和验证[J].计算机工程与应用,2005,41(28):91-93. 被引量:5
  • 2王锦,刘鹏.基于RTOS的软硬件协同验证方法[J].计算机工程,2004,30(18):184-186. 被引量:2
  • 3田泽.嵌入式系统开发和应用[M].北京:北京航空航天大学出版社,2004.
  • 4Jason Andrews, Co- Verification of Hardware and Software for ARM SoC Design.
  • 5Labrosse J J.邵贝贝等译.嵌入式实时操作系统μCOS-Ⅱ(第2版)[M].北京:北京航空航天大学出版社,2003.
  • 6Fuber S.田泽,于敦山,盛世敏译.ARM SoC体系结构(第2版)[M].北京:北京航空航天大学出版社,2002.

二级参考文献8

  • 1Marc Bertola,Guy Bois. A methodology for the design of AHB bus master wrappers[C].In :Digital System Design,Proceedings,2003:90~95.
  • 2Henry Chang. Surviving the SoC Revolution[M].London:Kluwer Academic Publishers, 1999-06.
  • 3ARM.AMBA specification.rev2.1999-05.
  • 4.Linux内核注释(4)[EB/OL].http:∥www.20cn.net/ns/wz/net/data/20020801115238.htm,2002.
  • 5ARM.ARM Developer Suite.version 1.2.
  • 6田泽 于敦山 盛世敏.ARM SoC体系结构[M].北京:航空航天大学出版社,2002..
  • 7陈坚华,范燕,冉立新,陈抗生.基于ARM7TDMI的uClinux移植[J].电子器件,2003,26(1):15-18. 被引量:7
  • 8GAOFeng LIUPeng YAOQingdong.A Methodology for Platform Based High—Level System—on—Chip Verification[J].Chinese Journal of Electronics,2003,12(1):61-64. 被引量:1

共引文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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