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

关键词：sva nn压 abv 断言检查器 iic控制器 

单位：重庆邮电大学重邮信科集团股份有限公司 重庆400065