西门子推Questa One智能验证解决方案 以AI之力缩小IC验证生产力差距

西门子数码工业软件宣布推出Questa One智能验证软件产品组合，将连接性、数据驱动方法和可扩充性与 AI技术相结合，突破IC验证流程的限制，协助工程团队提高工作效率。

Questa One提供更快的引擎，可显着提升工程师效率，减少工作负载，以支持从IP到系统单芯片再到大型系统的大规模复杂设计。Questa One在开发时还充分考虑了先进的3D-IC、基于小芯片的设计和软件定义的架构。
 
西门子数码工业软件数码验证技术部副总裁暨总经理Abhi Kolpekwar表示，「Questa One改革IC设计流程，以解决验证生产力差距问题，同时帮助工程师面对日益复杂的IC设计挑战。Questa One采用全新技术，可以提供现今最快的功能、故障与形式验证引擎。我们的客户指出，仅有效能还不够，他们需要在验证、确认与测试流程中实现更深层的连接，而这正是 Questa One所具备的能力。结合我们对AI的应用，西门子的验证解决方案已在智能创建、智能回归、智能分析、智能引擎与智能除错等领域，为早期采用者带来生产力的跳耀式提升。」
 
Questa One智能验证解决方案由西门子与业界领导厂商合作开发，具有连接性强、数据驱动且可扩充的特点，有助于突破验证生产力差距2.0的瓶颈。其中，诸如3D-IC、小芯片设计和软件定义架构等技术日益复杂，人才的短缺进一步加剧了这些复杂性，同时，对更高安全性、降低功耗、可靠性和可持续性的需求也在不断成长。
 
Questa One 智能验证解决方案涵盖多项技术突破，包括：Questa One Coverage Acceleration软件，透过将更高 / 更快的涵盖率结果与通用验证方法论（UVM）受限随机测试生成的优势相结合，实现涵盖率目标的速度比传统验证程序求解器（testbench solvers）快50倍。

Questa One DFT Simulation Acceleration软件藉由Questa One Parallel Simulation 软件，使 Gate-level DFT 串行模式仿真提高8倍，并可与业界领先的Tessent Streaming Scan Network（SSN）架构紧密整合。

Questa One Fault Simulation Acceleration软件效能提高48倍，并支持功能安全和DFT故障模拟应用。它还独家支持 Tessent 中的用户定义故障建模（UDFM）功能。

Questa One Stimulus Free Verification软件赋能工程师达成新的生产力水准。其独特的引擎组合和应用统一方法，能够将复杂的开源SoC级参考设计处理时间从超过24小时缩短至1分钟以内。该软件整合了20种不同的无激励分析、AI和自动化功能，提供了新的解决方案，例如具有自动校正功能以及生成式AI SVA属性建立和验证功能的linting。

Questa One Avery Verification IP 软件基于 Avery 的高品质 VIP 和高涵盖率法遵性测试套件（CTS）。协定感知调试和协定感知涵盖率分析有助于提高生产力，加速的 VIP 使 Questa One Sim 上的相同 CTS、验证程序和激励能在 Veloce CS 模拟和原型系统上重复使用。

Questa One智能验证解决方案建立在三个核心原则之上：Questa One Connected Verification软件将工程师、EDA工具和验证IP连接起来，形成一个紧密的生态系，以便在西门子Questa One、Tessent DFT和 Veloce CS模拟和原型系统上进行全面、无缝的验证、确认和测试。

Questa One Data-Driven Verification软件透过AI驱动的分析能力，利用数据的力量带来新的见解并提高验证效率。生成式、规范式和预测式机器学习技术的应用使工程师能够以最少的资源实现最高水准的验证。Questa One Scalable Verification软件提供优秀的加速和自动化功能，其速度可实现最快验证收敛，并带来最高信赖度。