基于事务的功能验证方法

摘要：

功能验证是百万门级IC设计中的一个重要瓶颈.基于事务的验证方法把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可提高验证代码编写的重用性,有利于提高验证的工作效率.介绍这种功能验证方法及其测试平台的建立.

关键词：功能验证、事务、测试平台、IC设计

所属期刊栏目：31

分类号：TN710(基本电子电路)

资助基金：浙江省科技攻关项目2004C17002

在线出版日期：2008-06-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1-3,11