English

应用科学学报

• 论文 • 上一篇    下一篇

一种协同验证环境与协同设计方法

高谷刚1,2 时龙兴1 杨军1   

  1. 1、东南大学 国家专用集成电路系统工程技术研究中心，江苏 南京210096；
    2、江苏警官学院 科技系，江苏 南京210012
  • 收稿日期:2006-09-22 修回日期:2007-06-18 出版日期:2007-09-30 发布日期:2007-09-30

Hardware/Software Co-verification Environment and Co-Design Method

GAO Gu-gang1,2, SHI Long-Xing1, YANG Jun1   

  1. 1． National ASIC System Engineering Research Center, Southeast University, Nanjing 210096, China
    2．Department of Science and Technology, Jiangsu Police Institute, Nanjing 210012, China
  • Received:2006-09-22 Revised:2007-06-18 Online:2007-09-30 Published:2007-09-30

被引次数

2

摘要： 基于C仿真策略建立了一种新的SoC软/硬件协同验证环境。利用此验证环境，针对计算密集型应用，提出了一种低成本的软/硬件协同设计方法。针对协同设计中最重要的验证问题，采用层次化的验证方法，在模块级使用基于C参考模型的验证策略，在系统级使用基于改进C仿真的协同验证。以一款低成本的MPEG-4解码系统芯片设计为例说明了这一方法的有效性。

关键词: 协同验证, 协同设计, C/C++, MPEG-4

Abstract: This paper presents a novel SoC co-verification environment based on the C simulation strategy. Using a hardware/software co-verification environment, we propose a hardware/software co-design method for computation-intensive applications. For most important verification issues of co-design, we use a hierarchical verification method. We propose a verification strategy based on a C reference model on the IP level, and co-verification based on C simulation on the system level. The design example of a low cost MPEG-4 decoder SoC is used to show validity of the method

Key words: co-verification, co-design, C/C++, MPEG-4