基于断言的硬件功能验证技术  

作　　者：杜宁[1] 吴国增[2] 

机构地区：[1]重庆邮电大学,重庆400065 [2]山东聊城大学东昌学院,聊城252000

出　　处：《电子测试》2007年第10期51-53,共3页Electronic Test

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

关 键 词：断言 OVA(open VERA assertion) ABV 形式化验证 

分 类 号：TN407[电子电信—微电子学与固体电子学]