Achieving Faster Design Verification Closure

由柏拉图重新发布

关注： 0

在大型芯片设计项目中，逻辑验证工作量可能大于设计工作量，根据来自 2022 威尔逊研究小组发现。可悲的是，在过去 31 年中，首次硅片成功率从 24% 下降到仅 8%，导致了另一次修正缺陷的轮换，使公司损失了上市时间，当然也损害了他们的收入计划。更好的验证肯定会提高首次硅片的成功率，但这说起来容易做起来难。

威尔逊研究小组研究中的其他一些发人深省的数字：

ASIC – 24% 首次成功，36% 准时完成
FPGA – 16% 实现零错误逃逸，30% 按时完成

设计验证有许多困难的工作：调试、创建测试然后运行引擎、测试平台开发和测试计划。理想情况下，您的团队希望最大限度地缩短周转时间，以最少的人员和计算资源实现验证收尾，满足安全合规性，并知道设计质量何时高到足以停止验证，同时满足项目进度。

我最近从西门子 EDA 的设计验证专家 Darron May 那里得到了最新消息，听说了刚刚宣布的事情，叫做 Questa 验证智商. 他们的方法都是围绕使用由 AI/ML 提供支持的可追溯性、协作和分析形成的数据驱动验证。传统分析仅提供有限的生产力和洞察力来描述和诊断逻辑行为，而使用 AI/ML 的大数据驱动分析提供了用于验证的预测性和规范性操作。软件和硬件团队通过使用 CI （持续集成），敏捷方法， ALM （应用程序生命周期管理）、基于云的设计以及应用 AI/ML 技术。正如 ISO 26262 和 DO-254 等行业标准所定义的那样，安全关键行业需要在要求、实施和验证之间实现可追溯性。

以下是 Quest Verification IQ 如何将来自各种验证引擎的所有数据连同 ALM 工具连接到数据驱动流中的大图。

覆盖数据是从逻辑仿真中收集的（这), 仿真和原型制作 (韦洛切), 原子能机构 (交响乐），正式的（一旋), 静和扶萨。 ML 功能分析所有这些数据，以预测模式并揭示任何漏洞，指出根本原因，然后制定行动以提高覆盖率。显示的 ALM 是极化来自西门子，尽管您可以使用另一个 ALM，就像您可以使用您最喜欢的验证引擎一样。

Questa Verification IQ 是一个基于浏览器的框架，其中包含一个流程指南，以便您可以使用生命周期管理来构建安全关键流程，以规划和跟踪所有需求。回归导航器使您的团队能够创建和执行测试、监控结果并拥有完整的验证历史记录。使用覆盖分析器，您可以了解代码、功能块和测试计划的覆盖范围。最后，所提供的数据分析为您提供了一个指标平台，使用项目仪表板并提供交叉分析。

基于网络的框架适用于任何规模的电子项目，您无需安装任何软件或担心保持操作系统更新。它还支持公共、私有或混合云设置。应用 AI/ML 后，验证关闭过程会加快，而调试工作会加快，因为根本原因分析有助于查明需要改进的地方。

我问了 Darron May 一些澄清性的问题。

问：我能否将 Questa Verification IQ 与任何 EDA 供应商工具和 ALM 混合搭配使用？

A: Questa Verification IQ 通过基于标准的方法支持 ALM 工具和引擎。它使用生命周期协作开放服务 (OSLC) 与 ALM 工具交互，因此可以使用任何支持该标准的工具，例如 Doors next 或 Siemens Polarion 和 Teamcenter。 Questa Verification IQ 可以启动任何引擎，我们再次通过统一覆盖互操作性标准 (UCIS) 支持覆盖。

问：这种方法与 Synopsys DesignDash 相比如何？

A: Synopsys DesignDash 专注于设计数据的 ML，而 Questa Verification IQ 则专注于使用分析（包括 ML）的数据驱动验证，以加速验证收敛、缩短周转时间并提供最大的流程效率。 Questa Verification IQ 在基于浏览器的框架中提供基于团队的协作验证管理所需的应用程序，可集中访问数据。

问：这种方法与 Cadence Verisium 相比如何？

A: Cadence Verisium 仅专注于 ML 辅助验证。相比之下，Siemens Questa Verification IQ 提供由分析、协作和可追溯性提供支持的完整数据驱动验证解决方案。验证管理是在基于浏览器的工具中提供的，带有围绕协作构建的应用程序。 Coverage Analyzer 带来了业界首个使用 ML 辅助分析导航的协作式覆盖收敛工具。 Question Verification IQ 使用 OSLC 与 Siemens Polarion 连接，并通过应用程序生命周期管理提供紧密的数字线程可追溯性，无需更改 UI 上下文，从而将 ALM 的强大功能引入硬件验证。

总结

我总是对新的 EDA 工具印象深刻，这些工具通过更智能地工作来简化复杂的任务，而不需要工程师投入更多的手动工作时间。随着 Arm 和 Nordic Semiconductor 等熟悉的公司对 Questa Verification IQ 的早期认可，西门子 EDA 似乎为验证团队增加了一些值得考虑的东西。