1.验证计划与评估

一 验证计划

1.验证收集的材料

1. 结构功能描述
2. 设计的各种操作使用模式
3. 正常/错误输入下设计的行为
4. 设计的接口
5. 边界情况设计的行为
6. 设计在实际使用中的场景描述

2.计划的内容

验证的功能点，验证的层次，测试用例，验证方法，覆盖率要求

基本功能：包括时钟，电源，复位，寄存器访问和基本特性，在模块级完成验证

互动功能：与其他模块互动的特性，在子系统或芯片级完成验证

次要验证：性能验证，效能验证等，即使没有通过验证要求，也不会对芯片造成致命影响。

3.验证的阶段

验证初期，约束范围较宽，验证中期，较窄，验证后期，会采用定向测试验证一些边界情况，约束范围较宽。

4.覆盖率的要求

覆盖率是衡量激励生产种类和功能点验证的量化指标

覆盖率包括代码覆盖率，功能覆盖率和断言覆盖率

除了合法的激励，也需要考虑一些错误的激励，来测试设计的稳定性和纠错能力。

5.验证计划的实现

创建验证计划--开发验证环境--测试用例开发--覆盖率分析--覆盖率漏洞反馈

6.验证的进程评估

1. 回归测试通过率：确保修改后的设计不影响之前的验证，回归测试表中的测试用例需要确保可以重现激励场景的。需要在每次测试中显示用到的随机种子。只有通过之前失败的特定随机种子，才可以重新产生之前的激励，跟踪调试失败的用例
2. 代码覆盖率
3. 断言覆盖率
4. 功能覆盖率
5. 缺陷曲线