基于事务的功能验证方法及其在设计验证中的运用

• 作者: 江龙 马琪
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 功能验证 事务 测试平台
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 应用与开发
• 页码范围: 110-112
• 页数: 3页
• 分类号: TP311.52
• 字数: 2126字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2008.10.034

摘要

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