西门子推出集成AI的Questa One验证平台，头部客户验证提速50倍
06/19/2025, 01:00 PM UTC
西门子Questa与AI结合的验证工具加速推进The Siemens Questa plus AI Story Gathers Momentum
➀ 西门子正式推出集成AI的EDA验证平台Questa One，将功能仿真、故障分析、形式化验证和覆盖率加速等功能通过统一界面集成；
➁ 该平台整合了基于生成式AI的Property Assist（断言自动生成）、智能回归测试优化（QCX覆盖率加速，号称最高提升50倍效率）等创新功能；
➂ 获Arm、联发科、Rambus和微软等头部企业背书，其中微软在Azure Cobalt 100平台上验证速度提升20%，联发科称节省数周工程时间。
➀ Siemens officially launched Questa One, a unified EDA verification platform integrating AI capabilities, combining functional simulation, fault analysis, formal verification, and coverage acceleration under a single interface.
➀ The platform introduces AI-driven features like Property Assist (automatic assertion generation), Smart Regression (test prioritization), and QCX coverage optimization, claiming up to 50x faster verification in some cases.
➂ Major companies including Arm, MediaTek, Rambus, and Microsoft endorsed Questa One, with ARM citing a 20% performance gain on Azure Cobalt 100 and MediaTek reporting significant time savings.
西门子EDA近日在DVCon大会上正式发布新一代智能验证套件Questa One，标志着其「仿真+AI」战略进入新阶段。该平台通过深度整合生成式AI和机器学习技术，重构了芯片验证全流程。
技术架构革新：
Questa One实现了功能仿真（RTL/门级）、故障仿真、覆盖率分析、加速验证等功能在统一环境下的无缝协同，并新增三大核心模块：
1. Questa One SFV：融合形式化验证与静态分析的「无激励验证」方案
2. Verification IQ：基于AI的智能调试系统，支持断言自动生成（Property Assist）和回归测试优化
3. Avery VIP：面向PCIe/CXL/HBM等接口协议的验证IP库AI赋能关键突破：
• QCX覆盖率加速引擎：通过预测性AI筛选高价值测试用例，案例显示可将覆盖率收敛速度提升50倍
• 智能调试系统：利用历史回归数据构建故障特征库，实现错误根源预测（Root Cause Prediction）
• Protocol Assist：基于协议规范的自动化错误追踪，特别适用于CXL等复杂互连协议验证头部客户验证：
Arm在AArch64架构验证中使用Questa One后，仿真性能与回归效率显著提升；联发科指出Property Assist可节省数周人工编写断言时间；微软更在Azure Cobalt 100芯片上实现验证周期从数周缩短至数天，且云平台性能额外提升20%。据悉，Questa One计划于2025年6月正式商用，其多维度AI验证方案或将对Synopsys VC Formal、Cadence Xcelium等竞品形成挑战。
---
本文由大语言模型（LLM）生成，旨在为读者提供半导体新闻内容的知识扩展（Beta）。
