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

• 作者: 周戌申 姜大力 张小林 李华旺
• 来源期刊: 计算机测量与控制
• 关键词: DPI 协同验证 星载计算机
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 自动化测试
• 页码范围: 1798-1801
• 页数: 4页
• 分类号: TP302.1
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李华旺	中国科学院上海微系统与信息技术研究所	33	176	8.0	11.0
2	姜大力	中国科学院上海微系统与信息技术研究所	4	11	2.0	3.0
6	张小林	中国科学院上海微系统与信息技术研究所	13	69	5.0	7.0
10	周戌申		1	5	1.0	1.0