每一代IC设计技术都会带来新的复杂程度，由于IC设计复杂性的急剧上升，逻辑验证团队面临着许多新的挑战。因此，知道工程师已经做了足够多的正确验证以确保设计完美运行，设计收敛已成为IC开发人员面临的关键挑战。

　　行业观察人士表示，逻辑验证传统上占整个IC开发周期的70%以上。威尔逊研究公司的一项研究承认了这一前提，指出实现第一芯片成功的验证团队从 2014 年的 31% 下降到 2022 年的 24%。这是过去20年来的最低水平。

　　西门子EDA声称拥有解决这一IC设计挑战的解决方案： 奎斯塔验证智商 软件。它是一种数据驱动的验证解决方案，可加速验证收敛、简化可追溯性、优化资源并加快上市时间。Questa Verification IQ与西门子紧密集成 极化要求 软件，以促进平台自动捕获IC设计人员在整个项目周期中运行的所有引擎的所有数据。

　　这反过来又使IC设计人员能够在整个IC设计和验证过程中管理需求、编码、测试和发布管理。新的验证工具由人工智能(AI)技术提供支持，统一了来自正式和模拟引擎的覆盖数据，例如 一旋 软件 交响曲 模拟和混合信号仿真平台，以及 维洛克 用于仿真和原型设计的硬件。

　　接下来，Questa Verification IQ中的机器学习(ML)功能分析数据以预测模式和漏洞，确定根本原因，并为潜在问题提供解决方案。举个例子：无线和物联网芯片供应商Nordic Semiconductor是Questa Verification IQ的早期采用者，通过使用此工具，已经能够用自动实时状态取代收集回归信息的手动工作。“Questa Verification IQ为我们提供了一个具有高级趋势的中央门户，”Nordic Semiconductor验证团队负责人Christoffer Amlo说。

　　Questa Verification IQ是一个数据驱动的解决方案，旨在加快和简化验证过程，同时与西门子的Polarion REQUIREMENTS软件相关联。源： 西门子 EDA

　　西门子EDA负责VM、调试和覆盖的产品经理Darron May表示，数据驱动的方法可以解决不断增加的IC设计复杂性，这种复杂性加剧了功能验证挑战。他补充说，数据是任何改进的关键，因为过去十年创建和使用的数据量增加了50倍。

　　“随着大容量存储功能和现代计算基础设施的出现，数据现在是王道，”May说。“这也是机器学习驱动方法的关键，该方法将通过分析和可追溯性功能彻底改变验证。

　　除了分析和可追溯性之外，协作是以数据为中心的验证方法的第三个主要驱动因素。Questa Verification IQ 在基于 Web 的应用程序框架中实施，具有设备和操作系统独立性，允许全球工程团队实时协作，从而通过实时项目可见性加快验证过程。“在验证过程中，它可以加强团队和跨地区的协作，大大减少了关闭时间，”Arm设计服务高级总监Tran Nguyen说。

　　Questa 验证 IQ 支持公有云、私有云和混合云配置，具有原生协作和集中式数据访问功能。它还与流行的持续集成 (CI) 工具(如 Jenkins)完全集成，以自动化工作流程。