嵌入式系統(tǒng)軟件模擬及硬件接口設(shè)計的快速驗證
A Fast Interface Verification with RTOS Software Simulator
-
摘要: 該文提出了一種面向宿主機器代碼編譯的嵌入式軟件功能驗證方法,該方法從系統(tǒng)行為級驗證系統(tǒng)功能,通過建立RTOS軟件模擬器,實現(xiàn)嵌入式軟件功能及硬件接口設(shè)計的快速驗證,并以橢圓濾波器為例,闡述如何使用該方法驗證嵌入式系統(tǒng)軟件和硬件接口功能。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]吳清平,劉明業(yè).面向?qū)ο蟮腣HDL模擬器.計算機輔助設(shè)計與圖形學學報,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]劉明業(yè)等.VHDL100例詳解.北京:清華大學出版社,1999,12:290-301. -
計量
- 文章訪問數(shù): 2258
- HTML全文瀏覽量: 168
- PDF下載量: 754
- 被引次數(shù): 0