在模块级或IP级验证中,更多使用动态仿真和形式验证,尽量将缺陷率曲线更快、更多地收敛在这一层次。
在芯片系统级验证过程中,使用动态仿真测试模块之间的集成关系。
对于耗时长的测试用例,如固件启动测试、性能测试、大规模数据存储测试等,在系统测试阶段使用硬件加速以更快地得到结果。
在模块级或IP级验证中,更多使用动态仿真和形式验证,尽量将缺陷率曲线更快、更多地收敛在这一层次。
在芯片系统级验证过程中,使用动态仿真测试模块之间的集成关系。
对于耗时长的测试用例,如固件启动测试、性能测试、大规模数据存储测试等,在系统测试阶段使用硬件加速以更快地得到结果。