|
|||||
|
|
| 基于断言的硬件设计功能验证技术 | |
| 引用本文： | 韩伟华.基于断言的硬件设计功能验证技术[J].电子设计技术,2004,11(11):82-90. |
| 作者姓名： | 韩伟华 |
| 摘 要： | 作为一种对设计对象的属性特性或行为特性的的描述,断言(声明,assertion)并不是一个新的概念.实际上在软件设计中,断言已经得到了广泛的应用,它可以帮助软件工程师在软件开发及测试过程中更早更快的发现、定位出软件中可能存在的错误. |
| 关 键 词： | 功能验证 断言 硬件设计 复杂度 验证技术 增加 |
| 本文献已被 维普 万方数据 等数据库收录！ | |