Domain fault model correctly reflects the reason causing domain errors, Domain coverage metrics measure the quality of the verification approach, and test point selecting strategies generate required points for domain testing.
域故障模型准确全面地反映导致域错误的原因,域覆盖率衡量验证工作的充分性,域测试点选择策略快速生成域测试所需测试点。
参考来源 - 基于仿真的系统芯片功能验证技术研究·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐