摘要：针对排除芯片设计流程中RTL级的错误时，需要花费大量时间看仿真波形与日志文件的问题，本文介绍了基于断言的硬件功能验证技术的基础，以及利用断言技术在黑盒验证中测试一设备输出信号时的应用，总结了断言验证的优点，以及断言与半形式化验证结合的特点，断言技术与动态仿真、形式验证、激励自动生成等技术结合，能更快更有效的发现硬件设计过程中RTL级的错误，成为验证方法学的焦点。

关键词：断言 vera abv 形式化验证 

单位：重庆邮电大学; 重庆400065; 山东聊城大学东昌学院; 聊城252000