动态仿真、形式验证和硬件加速使用情况

在模块级或IP级验证中，更多使用动态仿真和形式验证，尽量将缺陷率曲线更快、更多地收敛在这一层次。

在芯片系统级验证过程中，使用动态仿真测试模块之间的集成关系。

对于耗时长的测试用例，如固件启动测试、性能测试、大规模数据存储测试等，在系统测试阶段使用硬件加速以更快地得到结果。