嵌入式系统软件模拟及硬件接口设计的快速验证
A Fast Interface Verification with RTOS Software Simulator
-
摘要: 该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬件接口功能。Abstract: In this paper, author wants to present a new software verification method based on native-compiling technology for embedded system. The method verifies the target system from behavior level, after creating RTOS based software simulator, together with hardware simulator, easily to realize the co-verification for the hardware/software mixed system. At the end of this paper, a co-design example called fifth elliptical filter is put forward to illustrate how to realize the co-verification using the RTOS software simulator.
-
[1]Sanjaya Kumar, Aylor H. et al.. The codesign of embedded systems: a unified hardware/software representation. Boston, USA: Kluwer Academic Publishers, 1996: 1-273. [2]吴清平,刘明业.面向对象的VHDL模拟器.计算机辅助设计与图形学学报,2001.13(11):966-970. [3]Jie Liu, Marcello Lajolo, et al.. Software timing analysis using HW/SW cosimulation and instruction set simulator. Proceedings of the Sixth International Workshop on Hardware/Software Codesig, Seattle, Washington, United States 1998: 65-69. [4]Vojin Zivojnovic, Heinrich Meyr. Compiled HW/SW co-simulation. 33rd Design Automation Conference Proceedings, Las Vegas, Nevada, 1996: 690-695. [5]Marcello Lajolo, Mihi Lazarescu, Alberto Sangiovanni-Vincentelli. A compilation-based software estimation scheme for hardware/software co-simulation. CODES99, Rome, Italy, 1999: 85-89. [6]Johan Cockx. Efficient modeling of preemption in a virtual prototype. Proceedings Eleventh IEEE International Workshop on Rapid System Prototyping, Paris, France, 2000: 14-19. [7]Stewart B, Jacob L. Hardware/software co-design of I/O interfacing hardware and real-time device drivers for embedded system. www.capsl.udel.edu/conference/cases99/papers/paper24.pdf.[8]刘明业等.VHDL100例详解.北京:清华大学出版社,1999,12:290-301.
计量
- 文章访问数: 2212
- HTML全文浏览量: 152
- PDF下载量: 751
- 被引次数: 0