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

作     者：周戌申 张小林 姜大力 李华旺 Zhou Xushen;Zhang Xiaolin;Jiang Dali;Li Huawang

作者机构：中国科学院上海微系统与信息技术研究所上海200050 中国科学院研究生院北京100039 

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

出 版 物：《计算机测量与控制》 (Computer Measurement &Control)

年 卷 期：2008年第16卷第12期

页      码：1798-1801页

摘      要：在星载计算机LYRA的设计和验证过程中,采用System Verilog的DPI建立了完整的、低成本的、高效的SOC系统软硬件协同验证的系统仿真平台;利用这种技术使得可以在实际硬件可用前进行C/C++代码的开发和测试,同时又可以利用真实的软件对硬件进行验证;在早期软硬件可以公用测试平台进行并行开发,不仅大大减少软硬件开发的重复工作,加快了验证速度,还能对软硬件之间的边角情况进行完整的验证;验证方法已经成功的应用于星载计算机LYRA的开发中,取得了良好的效果。

主 题 词：DPI 协同验证 星载计算机 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.16526/j.cnki.11-4762/tp.2008.12.033

馆 藏 号：203233396...