期刊文献+

基于SoC设计的软硬件协同验证技术研究 被引量:9

Research of hadrwaer/software co-verification based on the SoC
下载PDF
导出
摘要 软硬件协同验证是SoC设计的核心技术。其主要目的是验证系统级芯片软硬件接口的功能和时序[1],验证系统级芯片软硬件设计的正确性,以及在芯片流片回来前开发应用软件。本文介绍了基于SoC设计的软硬件协同验证方法学原理及其验证流程。然后分析了SoC开发中采用的3种软硬件协同验证方案,ISS方案、CVE方案、FPGA/EMULATOR方案,对其验证速度、时间精度、调试性能、准备工作、价格成本、适用范围等各方面性能做出比较并提出应用建议。 Hardware/software co-verification is the key technology of SoC. Its main purpose is verify the function and schedule of the interface between the hardware and software of the SoC, verify the correctness of the hardware and software design of the SoC, and develop the application software before the SoC tape out. This article recommend the principle of the co-verification approach and the verification flow based on the SoC design. Then analyze three co-verification project based on the development of SoC in common use,ISS project, CVE project, FPGA/ EMULATOR project, and compare their the verify speed, time precision, debug capability, prepare work and the cost, then put forward the applied advice.
作者 申敏 曹聪玲
机构地区 重庆邮电大学
出处 《电子测试》 2009年第3期9-12,共4页 Electronic Test
关键词 软硬件协同验证 SOC 验证平台 HW/SW co-verification SoC Verification platform
  • 相关文献

参考文献2

二级参考文献11

  • 1方应龙,赵勇,幸强.SoC软硬件协同验证技术的应用研究[J].电子技术应用,2006,32(12):44-46. 被引量:5
  • 2Randjic A, Ostapcuk N,Soldo I, et al. Complex ASICs Verification with SystemC. In: Proc. of the Int. Conf. on Microelectronics, Univ. of NIS, Yugoslavia, 2002-05:671-674
  • 3Open SystemC Initiative(OSCI). SystemC Version 2 Documenta- tion. http://www.systemc.org
  • 4Groat J D, Raman A, Younis B. A Design Project for System Design with SystemC. In: International Conference on MSE, Anaheim,CA,USA, 2003
  • 5Economakos G,Oikonomakos P, Panagopoulos I. Behavioral Synthesis with SystemC. In: Proc. of the Conference on Design Automation and test in Europe, Munich, Germany, 2001:21-25
  • 6Benini L, Bruni D, Drago N. Virtual In-circuit Emulation for Timing Accurate System Prototyping. In: Porc. of IEEE. Int. Conf. ASIC/.Soc, Bologna University, Italy, 2002
  • 7Ghosh A, Tjiang S, Chandra R. System Modeling with SystemC. In: Proc. of the 4th International Conference on ASIC,Shanghai, 2001
  • 8陈曦,徐宁仪.SystemC片上系统设计[M].北京:科学出版社,2003.120-121.
  • 9Habibi A,Tahar S. Design for Verification of SystemC Transaction Level Models [A]. Proceedings of Design, Automation and Test in Europe[C]. Washington DC: IEEE Press, 2005:560 - 565.
  • 10Jindal R,Jain K. Verification of TransactionLevel SystemC Models Using RTL Testbenches [A]. Proceedings of Formal Methods and Models for Co - Design [C]. Washington DC: IEEE Press, 2003 : 199 - 203.

共引文献13

同被引文献90

引证文献9

二级引证文献31

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部