半导体技术的发展使芯片集成度不断提高，芯片功能也越来越复杂。然而验证能力的增长速度远远落后于制造能力和设计能力的增长速度，功能验证已经成为现在集成电路设计中的主要挑战之一，是限制芯片设计效率进一步提高的瓶颈。ABV是近年来出现的一项集成电路功能验证的新技术，可以应用于基于仿真的验证和形式验证之中。本文的主要研究内容是ABV在基于仿真的验证中的应用。 本文通过比较不同的断言实现形式，选择在验证中使用SVA对设计进行断言检验，并进行覆盖率统计。详细介绍了SVA的结构、基本语法以及与设计的绑定方法。将基于断言的验证方法应用到了两个开源代码模块的功能验证之中，它们分别是UART模块以及8位精简指令集处理器RISC SPM。根据设计的特点采取了不同的验证策略：对UART的验证采用直接方式生成激励，在设计源代码中插入SVA语句对有限状态机和端口信号进行检查和断言覆盖率统计；而对RISC_SPM应用约束随机验证，并结合了覆盖率驱动的验证技术。同时应用覆盖率组定义功能覆盖率模型，利用SVA对设计的关键功能进行检查并强化覆盖率模型。验证结果表明，基于断言的验证方法增加了验证过程的可观测性，便于在仿真中对设计缺陷进行定位。将ABV与约束随机验证技术以及覆盖率驱动验证技术相结合，可以提高验证过程的可控性，加速覆盖率目标的实现。