基于事务的功能验证方法

• 作者: 江龙 马琪
• 来源期刊: 现代电子技术
• 关键词: 功能验证 事务 测试平台 IC设计
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 电路设计
• 页码范围: 1-3,11
• 页数: 4页
• 分类号: TN710
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2008.06.001

摘要

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