A Fast Interface Verification with RTOS Software Simulator
嵌入式系统软件模拟及硬件接口设计的快速验证

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.