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

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

在星载计算机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.