OneSpin的PortableCoverage解决方案进行验证

OneSpin Solutions的PortableCoverage，这是第一个与所有主要模拟器、覆盖数据库和查看器以及芯片设计验证规划工具集成的形式验证解决方案，使用户能够选择他们选择的供应商或多个供应商。

“仿真和形式验证对于我们的芯片设计验证策略至关​​重要，”博世传感器技术公司的验证专家 Thomas Klotz 说。“我们需要持续评估整体验证进度，以确定下一步并根据我们的时间表衡量进度。OneSpin 的 PortableCoverage 在开放式验证流程中为我们提供了这种能力，因此我们可以使用来自多个供应商的一流工具。”

介绍便携式覆盖

“形式验证现在是主流流程的一部分，并被许多验证工程师使用，因此它必须与基于仿真的工具集成，”OneSpin Solutions 总裁兼首席执行官 （CEO） Raik Brinkmann 博士评论道。“工程师需要强大、灵活的流程来快速满足新要求。OneSpin 的 PortableCoverage 提供了将形式无缝集成到高效、面向未来的验证流程中的自由。”

PortableCoverage 支持形式和模拟的集成，以实现精确、定量的验证评估和验证进度的全面视图。这最大限度地减少了正式工作和模拟工作之间的重叠，从而减少了整体验证工作。PortableCoverage 在覆盖率数据库中集成了正式和模拟覆盖率指标，以统一查看覆盖率状态。

两个新的正式应用程序，验证覆盖率集成 （VCI） 应用程序和覆盖率关闭加速器 （CCA） 应用程序，使这成为可能。一旦 VCI 应用程序将 OneSpin 的 Quantify 覆盖率指标添加到用户的覆盖率数据库中，覆盖率查看器就会显示集成的形式和模拟指标，从而提供覆盖率状态的统一视图。

CCA 应用程序可识别无法到达的覆盖点并将其提供给模拟器，从而加速覆盖范围的关闭，同时消除试图命中无法到达的覆盖点的浪费精力。

PortableCoverage 还包括 OneSpin 的验证计划集成 （VPI） 应用程序，该应用程序将 OneSpin 工具的正式结果注释到验证计划中。集成的形式和模拟结果提供了验证计划的全面视图。它还通过提供跟踪验证结果与设计规范的链接来确保工程师满足严格的安全标准。

Quantify App 使用正式的基于模型的变异覆盖来准确评估断言质量和完整性。覆盖数据可以与传统的结构覆盖度量集成。

OneSpin 的所有应用程序都利用了 OneSpin 360 DV-Inspect 和 OneSpin 360 DV-Verify 产品提供的形式验证技术。

审核编辑：郭婷