验证计划的内容
技术角度
-
验证的功能点(按照优先级划分)
基本功能:通常包括时钟、 电源、 复位、 寄存器访问和基本特性, 这些可以在模块级完成验证。 互动功能:一些需要同其他模块互动的特性,需要在更高层次的子系统级或芯片级完成验证。 次要功能:通常这些功能在项目后期完成验证,如性能验证、 效能验证。 即使它们没 有通过验证要求, 也不会对芯片造成致命影响。
-
验证的层次(结合验证功能点,划分验证层次)
应该尽量在较低的层次验证更多的功能点。在较高的层次,如芯片级,应该侧重于系统集成测试。
-
验证方法
动态仿真、形式验证还是硬件加速?采取什么样的透明度,黑盒、 白盒还是灰盒?采用定向测试还是随机约束激励?
-
“测试用例” 的应用场景
列出所有的实际应用场景。除了给 出合法的激励之外, 也需要考虑给出一些错误的激励, 测试设计的稳定性和纠错能力。
-
覆盖率要求
项目角度
-
验证工具的选择
逻辑仿真工具:VCS/IES/Questasim 形式验证工具:Formality/ Conformal 基于断言的工具 调试工具(看波形):Verdi/ DVE / Vsim 硬件仿真加速器:Veloce /Palladium
-
验证资源要求
人力资源 计算资源:硬件和软件的资源量
-
验证时间进度安排(schedule)
-
风险评估