| 星载计算机软硬件协同验证技术的研究 |
| |
| 引用本文： | 周戌申,张小林,姜大力,李华旺. 星载计算机软硬件协同验证技术的研究[J]. 计算机测量与控制, 2008, 16(12): 1798-1801 |
| |
| 作者姓名： | 周戌申 张小林 姜大力 李华旺 |
| |
| 作者单位： | 中国科学院研究生院,北京,100039;中国科学院上海微系统与信息技术研究所,上海,200050;中国科学院研究生院,北京,100039;中国科学院上海微系统与信息技术研究所,上海,200050 |
| |
| 基金项目： | 上海市科委资助项目 |
| |
| 摘 要： | 在星载计算机LYRA的设计和验证过程中,采用System Verilog的DPI建立了完整的、低成本的、高效的SOC系统软硬件协同验证的系统仿真平台;利用这种技术使得可以在实际硬件可用前进行C/C++代码的开发和测试,同时又可以利用真实的软件对硬件进行验证;在早期软硬件可以公用测试平台进行并行开发,不仅大大减少软硬件开发的重复工作,加快了验证速度,还能对软硬件之间的边角情况进行完整的验证;验证方法已经成功的应用于星载计算机LYRA的开发中,取得了良好的效果。
|
| 关 键 词： | DPI 协同验证 星载计算机 |
Hardware/Software Co-Verification methodology for on-board computer |
| |
| Zhou Xushen,Zhang Xiaolin,Jiang Dali,Li Huawang. Hardware/Software Co-Verification methodology for on-board computer[J]. Computer Measurement & Control, 2008, 16(12): 1798-1801 |
| |
| Authors: | Zhou Xushen Zhang Xiaolin Jiang Dali Li Huawang |
| |
| Affiliation: | 1 (1.SIMIT,Chinese Academy of Sciences,Shanghai 200050,China;2.Postgraduate School,Chinese Academy of Sciences,Beijing 200050,China) |
| |
| Abstract: | During the design and verification of the on-board-computer LYRA,a highly effective way was developed by using the Sys- temVerilog direct programming interface(DPI)to build a comprehensive Hardware/Software Co-verification system simulation environ- ment.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. |
| |
| Keywords: | DPI |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
