基于事务级USB设备接口IP核的验证

• 作者: 朱文波 郭斌林
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 事务验证 USB IP核 总线功能模型
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 应用与开发
• 页码范围: 130-132,135
• 页数: 4页
• 分类号: TN402
• 字数: 2213字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2009.01.038

摘要

随着集成电路的设计规模不断增大,功能验证逐渐成为整个设计过程中的瓶颈.传统验证方法已经难以适应.事务级验证与传统验证方法比较,事务级验证具有更高的抽象层次,验证效率得到了提高.本文时事务级验证方法进行了简要介绍,说明了事务级验证的实现方法,提出了一种基于事务USB设备接口IP核验证平台,该验证平台具有较高的自动化程度和较强的可重用性.