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

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

作　　者：高谷刚[1] 时龙兴[1] 杨军[1] 

机构地区：[1]东南大学国家专用集成电路系统工程技术研究中心

出　　处：《应用科学学报》2007年第5期481-485,共5页Journal of Applied Sciences

基　　金：国家自然科学基金(90407009);高等学校博士学科点专项科研基金(20050286040)资助项目

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

关 键 词：协同验证 协同设计 C/C++ MPEG.4 

分 类 号：TN47[电子电信—微电子学与固体电子学]