覆盖率分析器

覆盖率分析器与所有 Siemens 验证引擎紧密集成，将仿真、仿真、静态和形式工具的覆盖范围结合在一起。支持 UCDB 可以轻松地从现有工具和流程过渡。

Coverage Analyzer 的分析导航和可视化功能可加快对覆盖模型的理解。热图、分布图和网络可视化为快速识别和解决覆盖差距提供了见解。

Coverage Analyzer 的协作排除管理提供动态可视化功能，使整个团队随时了解变更情况，加快流程，并支持对覆盖模型进行基于团队的审计和审查。

Coverage Analyzer 的基于团队的功能、集成的通知和共享分析可增强沟通，加速结束。这使团队成员能够快速协作、审查和为完成目标做出贡献。

Coverage Analyzer 的无监督机器学习可识别难以发现的常见表达式并实现表达树的可视化。这使团队能够快速排除或分析子表达式，以加快复杂逻辑的闭包。

Coverage Analyzer 的交叉孔分析使用机器学习来确定最严重的覆盖差距，使团队能够快速将精力集中在最关键的领域，以加快功能覆盖范围的缩小。