驗證計畫(十三)

验证计划小結

1. 验证计划是对所有测试用例和所支持的测试平台功能的验证规范。实现和验证
源自共同的规范。不要去验证一个实现。

2. 定义验证设计所用的不同层次的粒度：模块、单元、组件、FPGA、ASIC、子系统、板级
系统。为了更少地测试平台和更高集成度的测试，要在可观测性和可控制性之间做出平衡。

3. 定义能够检测错误的自检验策略。

4. 从设计规范确定功能，并列举哪些功能要验证。(function items)

5. 在设计阶段就要考虑验证。构建设计使之尽可能易于验证。(modify design for verification)

6. 如果测试用例的数量很少，可以使用直接的测试平台方法。对于每个功能，使用一个测试
用例。用单独的测试平台实现每个测试用例。

7. 从列举的功能里定义一个功能覆盖模型。从那些相同的功能里确定生成器所需的自由度和
约束度，以便生成验证每个功能所要的激励。