星载计算机软硬件协同验证技术的研究  

Hardware/Software Co-Verification methodology for on-board computer

作　　者：周戌申[1,2] 张小林[1,2] 姜大力[1,2] 李华旺[1] 

机构地区：[1]中国科学院上海微系统与信息技术研究所,上海200050 [2]中国科学院研究生院,北京100039

出　　处：《计算机测量与控制》2008年第12期1798-1801,共4页Computer Measurement &Control

基　　金：上海市科委国际合作项目资助(052207046)。

摘　　要：在星载计算机LYRA的设计和验证过程中,采用System Verilog的DPI建立了完整的、低成本的、高效的SOC系统软硬件协同验证的系统仿真平台;利用这种技术使得可以在实际硬件可用前进行C/C++代码的开发和测试,同时又可以利用真实的软件对硬件进行验证;在早期软硬件可以公用测试平台进行并行开发,不仅大大减少软硬件开发的重复工作,加快了验证速度,还能对软硬件之间的边角情况进行完整的验证;验证方法已经成功的应用于星载计算机LYRA的开发中,取得了良好的效果。During the design and verification of the on--board--computer LYRA, a highly effective way was developed by using the SystemVerilog direct programming interface （DPI） to build a comprehensive Hardware/Software Co-- verification system simulation environment. This technology enables software teams taking advantage of system verification infrastructure to develop and test their C/C＋＋ code against the actual design before the board is actually built. Simultaneously, it enables the verification team taking advantage of C/C＋ ＋ code and verify test conditions the way actual software will run. This not only greatly reduces the amount of repeated work between the two teams, but also bridges the critical gap between software tests and hardware verification. This technology has been used in the on--board-- computer LYRA successfully.

关 键 词：DPI 协同验证 星载计算机 

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构]