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

摘要：

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

关键词：SVA、VMM、ABV、断言检查器、IIC控制器

分类号：TN407(微电子学、集成电路（IC）)

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

页数：共5页

页码：65-69