| 一种协同验证环境与协同设计方法 |
| |
| 引用本文： | 高谷刚,时龙兴,杨军.一种协同验证环境与协同设计方法[J].应用科学学报,2007,25(5):481-485. |
| |
| 作者姓名： | 高谷刚 时龙兴 杨军 |
| |
| 作者单位： | 1、东南大学 国家专用集成电路系统工程技术研究中心，江苏 南京210096；;2、江苏警官学院 科技系，江苏 南京210012 |
| |
| 基金项目： | 国家自然科学基金;教育部高等学校博士学科点专项科研基金 |
| |
| 摘 要： | 基于C仿真策略建立了一种新的SoC软/硬件协同验证环境。利用此验证环境，针对计算密集型应用，提出了一种低成本的软/硬件协同设计方法。针对协同设计中最重要的验证问题，采用层次化的验证方法，在模块级使用基于C参考模型的验证策略，在系统级使用基于改进C仿真的协同验证。以一款低成本的MPEG-4解码系统芯片设计为例说明了这一方法的有效性。
|
| 关 键 词： | 协同验证 协同设计 C/C++ MPEG-4 |
| 文章编号： | 0255-8297（2007）05-0481-05 |
| 收稿时间： | 2006-09-22 |
| 修稿时间： | 2006-09-22 |
Hardware/Software Co-verification Environment and Co-design Method |
| |
| GAO Gu-gang,SHI Long-xing,YANG Jun.Hardware/Software Co-verification Environment and Co-design Method[J].Journal of Applied Sciences,2007,25(5):481-485. |
| |
| Authors: | GAO Gu-gang SHI Long-xing YANG Jun |
| |
| Institution: | 1． National ASIC System Engineering Research Center, Southeast University, Nanjing 210096, China;2．Department of Science and Technology, Jiangsu Police Institute, Nanjing 210012, China |
| |
| 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. |
| |
| Keywords: | C/C MPEG-4 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《应用科学学报》浏览原始摘要信息 |
| 点击此处可从《应用科学学报》下载免费的PDF全文 |
