A Fast Interface Verification with RTOS Software Simulator

Wang Shi-hao; Duan Zhi-gang; Liu Ming-ye

Volume 26 Issue 10

Oct. 2004

Turn off MathJax

Article Contents

Article Navigation > Journal of Electronics & Information Technology > 2004 > 26(10): 1675-1680

Wang Shi-hao, Duan Zhi-gang, Liu Ming-ye. A Fast Interface Verification with RTOS Software Simulator[J]. Journal of Electronics & Information Technology, 2004, 26(10): 1675-1680.

Citation:

Wang Shi-hao, Duan Zhi-gang, Liu Ming-ye. A Fast Interface Verification with RTOS Software Simulator[J]. Journal of Electronics & Information Technology, 2004, 26(10): 1675-1680.

Wang Shi-hao, Duan Zhi-gang, Liu Ming-ye. A Fast Interface Verification with RTOS Software Simulator[J]. Journal of Electronics & Information Technology, 2004, 26(10): 1675-1680.

Citation:

Wang Shi-hao, Duan Zhi-gang, Liu Ming-ye. A Fast Interface Verification with RTOS Software Simulator[J]. Journal of Electronics & Information Technology, 2004, 26(10): 1675-1680.

PDF( 1455 KB)

A Fast Interface Verification with RTOS Software Simulator

Received Date: 2003-05-29
Rev Recd Date: 2004-02-26
Publish Date: 2004-10-19

Abstract

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.

FullText(HTML)

References(1)

References

［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.

Relative Articles

Supplements(0)

Cited By

Proportional views