| 基于断言的硬件功能验证技术 |
| |
| 引用本文： | 杜宁,吴国增. 基于断言的硬件功能验证技术[J]. 电子测试, 2007, 0(10): 51-53 |
| |
| 作者姓名： | 杜宁 吴国增 |
| |
| 作者单位： | 1. 重庆邮电大学,重庆,400065
2. 山东聊城大学东昌学院,聊城,252000 |
| |
| 摘 要： | 针对排除芯片设计流程中RTL级的错误时,需要花费大量时间看仿真波形与日志文件的问题,本文介绍了基于断言的硬件功能验证技术的基础,以及利用断言技术在黑盒验证中测试一设备输出信号时的应用,总结了断言验证的优点,以及断言与半形式化验证结合的特点,断言技术与动态仿真、形式验证、激励自动生成等技术结合,能更快更有效的发现硬件设计过程中RTL级的错误,成为验证方法学的焦点.
|
| 关 键 词： | 断言 OVA(open vera assertion) ABV 形式化验证 |
Assertion based Hardware Functional Verification Technology |
| |
| Du Ning,Wu Guozeng. Assertion based Hardware Functional Verification Technology[J]. Electronic Test, 2007, 0(10): 51-53 |
| |
| Authors: | Du Ning Wu Guozeng |
| |
| Abstract: | |
| |
| Keywords: | OVA(open vera assertion) ABV |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
