功能验证成为了现代芯片设计中的最大瓶颈。传统功能验证方法的不足严重影响着验证工作的效率,主要表现为验证过程的可观察性和可控性差,无法快速定位设计缺陷,验证周期长,验证环境的可重用性差。针对这些不足,本文研究了基于断言的验证方法ABV(Assertion-Based Verification),该方法利用断言技术的优势有效弥补了动态仿真的不足。本文主要研究基于SVA的功能验证方法在实际项目中的应用。首先阐述了断言验证技术及其验证流程,对断言实现语言SVA(SystemVerilog Assertion)进行了详细介绍。然后在双界面卡的RF接口控制模块验证中,采用基于VMM验证方法学搭建的层次化、可重用性随机激励测试平台,将SVA与动态仿真相结合进行功能验证,具体介绍了提取设计属性并建立断言模块的过程,利用SVA开发了ISO/IEC14443接口协议断言IP和其它相关断言监视器。最后对验证结果进行了统计说明。本课题研究开发的SVA断言监视器已在实际项目中得到了应用,其中ISO/IEC14443接口断言IP已应用在了多个非接触式卡的验证工作中,均运行良好。实践表明,基于SVA的验证方法能改善验证过程的可观察性和可控性,快速定位缺陷位置,缩短验证时间,提高验证质量,增加设计人员的信心。