Verification Plan

验证计划的内容

技术角度

1. 验证的功能点（按照优先级划分）

   基本功能：通常包括时钟、 电源、 复位、 寄存器访问和基本特性， 这些可以在模块级完成验证。
   互动功能：一些需要同其他模块互动的特性，需要在更高层次的子系统级或芯片级完成验证。
   次要功能：通常这些功能在项目后期完成验证，如性能验证、 效能验证。 即使它们没 有通过验证要求， 也不会对芯片造成致命影响。
   

2. 验证的层次（结合验证功能点，划分验证层次）

   应该尽量在较低的层次验证更多的功能点。在较高的层次，如芯片级，应该侧重于系统集成测试。
   

3. 验证方法

    动态仿真、形式验证还是硬件加速？采取什么样的透明度，黑盒、 白盒还是灰盒？采用定向测试还是随机约束激励？
   

4. “测试用例” 的应用场景

   列出所有的实际应用场景。除了给 出合法的激励之外， 也需要考虑给出一些错误的激励， 测试设计的稳定性和纠错能力。
   

5. 覆盖率要求

   项目角度

6. 验证工具的选择

    逻辑仿真工具：VCS/IES/Questasim
    形式验证工具：Formality/ Conformal
    基于断言的工具
    调试工具（看波形）：Verdi/ DVE / Vsim 
    硬件仿真加速器：Veloce /Palladium
   

7. 验证资源要求

   人力资源
   计算资源：硬件和软件的资源量
   

8. 验证时间进度安排（schedule）

9. 风险评估