| 使用SystemC进行基于事务的验证 |
| |
| 引用本文： | 牛振兴,杜旭.使用SystemC进行基于事务的验证[J].计算机应用,2006,26(3):708-0710. |
| |
| 作者姓名： | 牛振兴 杜旭 |
| |
| 作者单位： | 华中科技大学,电子与信息工程系,湖北,武汉,430074;华中科技大学,电子与信息工程系,湖北,武汉,430074 |
| |
| 摘 要： | 分析了使用SystemC的基于事务的验证方法。它应用于一个具体项目的开发，并与传统的验证方法作了对比，证明它在验证效率和验证环境设计效率上均有明显优势。
|
| 关 键 词： | 基于事务的验证方法 SystemC语言 验证环境 |
| 文章编号： | 1001-9081（2006）03-0708-03 |
| 收稿时间： | 2005-09-15 |
| 修稿时间： | 2005-09-152005-11-28 |
Applying transaction-based verification using SystemC |
| |
| NIU Zhen-xing,DU Xu.Applying transaction-based verification using SystemC[J].journal of Computer Applications,2006,26(3):708-0710. |
| |
| Authors: | NIU Zhen-xing DU Xu |
| |
| Affiliation: | Department of Electronics and Information Engineering, Httazhong University of Technology, Wuhan Hubei 430074, China |
| |
| Abstract: | As the Application Specific Integrated Circiut(ASIC) design size increases, the chip verification is one of the most important phases. Transaction-based verification method using SystemC was introduced and analyzed. A concrete chip design was verified with this verificaton method and other traditonal verification methods. The test results show that transaction-based verification can get better effect and higher efficiency. |
| |
| Keywords: | transaction-based verification methodology SystemC verification environment |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
