SVA在层次化验证平台中的应用

• 作者: 李忠孝 申敏
• 来源期刊: 电子测试
• 学科: 工学
• 关键词: SVA VMM ABV 断言检查器 IIC控制器
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 测试工具与解决方案
• 页码范围: 65-69
• 页数: 5页
• 分类号: TN407
• 字数: 2584字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-8519.2009.05.017

摘要

在越来越复杂的SoC芯片验证开发中,ABV(基于断言的验证)已经成为一种先进且有效的验证方法.SVA(SystemVerilog断言)是一种基于描述性的验证语言,它作为SystemVerilog语言的一个子集已成为IEEE1800标准.本文以AMBA APB总线上的IIC总线控制器为例,简要介绍了利用VMM验证方法学来快速搭建以覆盖率为指导、约束随机化、可重用的分层验证平台.在此基础上详细阐述了在DUT的外部接口上绑定SVA断言检查器,从而在黑盒的条件下完成高效的功能验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李忠孝		1	3	1.0	1.0
2	申敏		3	4	1.0	2.0