%0 Journal Article
%T A Fast Interface Verification with RTOS Software Simulator<br>嵌入式系统软件模拟及硬件接口设计的快速验证
%A Wang Shi-hao
%A Duan Zhi-gang
%A Liu Ming-ye
%A <br>王世好
%A 段志刚
%A 刘明业
%J 电子与信息学报
%D 2004
%I 
%X 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.
%K Embedded system
%K Co-simulation
%K Function verification
%K Simulator
%K Real-Time Operating System (RTOS)<br>嵌入式系统
%K 协同模拟
%K 功能验证
%K 模拟器
%K 实时操作系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=1319827C0C74AAE8D654BEA21B7F54D3&jid=EFC0377B03BD8D0EF4BBB548AC5F739A&aid=5FB67A0439E60198&yid=D0E58B75BFD8E51C&vid=96C778EE049EE47D&iid=F3090AE9B60B7ED1&sid=A43DA3A1D8511541&eid=BCF7BCA77FA8F9BA&journal_id=1009-5896&journal_name=电子与信息学报&referenced_num=0&reference_num=8