一种基于事务的IP功能验证环境  

A Functional Verification Environment Based on Transactions

作　　者：王旭姣[1] 梁利平[2] 

机构地区：[1]清华大学微电子学研究所,北京100084 [2]清华大学信息技术研究院,北京100084

出　　处：《微电子学与计算机》2007年第7期27-30,共4页Microelectronics & Computer

摘　　要：介绍了对事务级验证方法提出了一种基于事务的IP功能验证环境,加入断言技术,并应用于实际项目,实验结果表明,该验证平台具有较高的自动化程度和较快的错误定位机制,可以极大地提高验证效率。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.

关 键 词：事务 testbench 脚本 IP功能验证 断言 

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