期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

面向RTOS的嵌入式软件模拟器构造与实现方法 被引量：2

Realization of RTOS Software Simulator in Co-simulation Environment
下载PDF
导出
摘要 提出一种快速嵌入式软件验证工具——RTOS软件模拟器。在RTOS软件模拟器验证方法中,利用RTOS模块化、层次化设计特点,快速实现嵌入式软件在不同目标机器间的代码移植,通过扩展RTOS API功能,建立硬件模拟驱动,实现软件模拟器和硬件模拟器通信连接和协同模拟同步控制。RTOS软件模拟器克服ISS速度低的缺点,从更高层次验证嵌入式软件功能。 This paper presents a fast software simulator, RTOS Software Co-Simulator, and show how to validate designed system with it. In RTOS co-simulator model, RTOS is extended, and hardware simulator driver is used to build connection with VHDL/VerilogHDL simulator. At the end of this paper, it presents some examples to show how to build RTOS co-simulating environment and how RTOS software simulator works.
作者 王世好 刘明业
机构地区 北京理工大学ASIC研究所
出处 《计算机工程》 CAS CSCD 北大核心 2004年第14期47-49,共3页 Computer Engineering
基金 国防基础科研项目 军用微电子项目
关键词 嵌入式系统 协调设计 功能验证 模拟器 RTOS Embedded system Co-design Function verification Simulator RTOS
分类号 TP15 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献5

  • 1吴清平,刘明业.面向对象的VHDL模拟器[J].计算机辅助设计与图形学学报,2001,13(11):966-970. 被引量：5
  • 2[2]Bailey B,Klein R, Leef S.Hardware/Software Co-simulation Strategies for the Future. Mentor Graphics Corporation Publishers,www.mentorg.com
  • 3[3]Zivojnovic V,Meyr H.Compiled HW/SW Co-simulation. Design Automation Conference Proceedings 1996,33rd, 1996-06-03～1996-06-07:690-695
  • 4[4]Lajolo M,Lazarescu M, Sangiovanni-Vincentelli Alberto. A Compilation-based Software Estimation Scheme for Hardware/Software CoSimulation. Hardware/Software Codesign, 1999.(CODES99) Proceedings of the Seventh International Workshop on, 1999-05-03-1999-06-05:85-895.
  • 5[5]Pramataris K,Lykakis G,Stassinopoulos G.Hardware/Software Cosimulation Methodology Based on Alternative Approaches. Proceedings of ICECS 99, The 6th IEEE International Conference, 1999-09-05～1999-09-08:63-66

二级参考文献1

  • 1刘明业，专用集成电路高级综合理论，1998年

共引文献4

同被引文献26

  • 1王世好,段志刚,刘明业.嵌入式系统软件模拟及硬件接口设计的快速验证[J].电子与信息学报,2004,26(10):1675-1680. 被引量：2
  • 2任彧.嵌入式软件模拟器通信性能分析[J].计算机应用,2005,25(B12):12-13. 被引量：1
  • 3王馨,姬孟洛,王戟,齐治昌.基于WCET分析的实时系统轨迹获取技术[J].软件学报,2006,17(5):1232-1240. 被引量：2
  • 4南山.美国人眼中的苏联高能激光器[J].光电子技术与信息,1990(2):17-19. 被引量：1
  • 5Giusto P, Martin G, Harcourt E. Reliable estimation of execution time of embedded software [C] //Proc of IEEE DATE'01. Piscataway, NJ: IEEE, 2001:580-589.
  • 6Bammi J R, Kruijtzer W, Lavagno L, et al. Software performance estimation strategies in a system-level design tool [C] //Proc of the 8th Int Workshop on Hardware/ Software Codesign. New York: ACM, 2000:82-86.
  • 7Baker W, Hartoog M, Martin G. Scalable techrtiques for the performance estimation of co designed hardware/software systems [C] //Proc of the Conf on Cadence Technical. Piscataway, NJ: IEEE, 1997: 132-14,0.
  • 8Lazarescu M T, Bammi J R, Harcourt E, ct al. Compilation- based softwarc performance estimation for system level design [C] //Proc of IEEE HLDVT'00. Piscataway, NJ: IEEE, 2000:167-172.
  • 9Zivojnovic V. Compiled hw/sw co simulation [C] //Proc of the 33rd Annual Conf on Design Automation. New York: ACM, 1996:690-695.
  • 10Malik S, Martonosi M, Li Y T S. Static timing analysis of embedded software [C] //Proc of the 34th Annual Conf on Design Automation. New York: ACM, 1997 : 147-152.

引证文献2

二级引证文献3

计算机工程
2004年 第14期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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