| 一种基于事务的IP功能验证环境 |
| |
| 引用本文： | 王旭姣,梁利平.一种基于事务的IP功能验证环境[J].微电子学与计算机,2007,24(7):27-30. |
| |
| 作者姓名： | 王旭姣 梁利平 |
| |
| 作者单位： | 1. 清华大学,微电子学研究所,北京,100084
2. 清华大学,信息技术研究院,北京,100084 |
| |
| 摘 要： | 介绍了对事务级验证方法提出了一种基于事务的IP功能验证环境，加入断言技术，并应用于实际项目。实验结果表明，该验证平台具有较高的自动化程度和较快的错误定位机制，可以极大地提高验证效率。
|
| 关 键 词： | 事务 脚本 IP功能验证 断言 |
| 文章编号： | 1000-7180（2007）07-0027-04 |
| 修稿时间： | 2006-07-23 |
A Functional Verification Environment Based on Transactions |
| |
| WANG Xu-jiao,LIANG Li-ping.A Functional Verification Environment Based on Transactions[J].Microelectronics & Computer,2007,24(7):27-30. |
| |
| Authors: | WANG Xu-jiao LIANG Li-ping |
| |
| Affiliation: | 1 Institute of Microelectronic, Tsinghua University, Beijing 100084, China; 2 Research Institute of Information Technology, Tsinghua University, Beijing 100084, China |
| |
| Abstract: | Transaction based verification raises the verification effort to a higher level of abstraction, it is more pertinent and efficient to the functional verification. This paper put forward a transaction-based IP verification platform after summarizes of transaction-based verification methodologies, the assertion is used on the platform. Several designs have been verified using this platform. It was found that the teams were able to identify and fix design errors quickly. So the verification efficiency is improved greatly. |
| |
| Keywords: | testbench |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
