摘要：西门子数字化工业软件推出了Questa™ One智能验证软件组合，将连接性、数据驱动方法和可扩展性与人工智能相结合，突破了集成电路（IC）验证流程的极限，提高了工程团队的生产效率。

Questa One将集成电路（IC）验证从被动反应流程重新定义为智能的自优化系统。

西门子数字化工业软件推出了Questa™ One智能验证软件组合，将连接性、数据驱动方法和可扩展性与人工智能相结合，突破了集成电路（IC）验证流程的极限，提高了工程团队的生产效率。

Questa One提供更快的引擎，使工程师的工作速度更快，所需的工作负载更少，能够支持从IP到系统级芯片（SoC）再到系统的最大型、最复杂的设计，开发时还考虑了先进的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）约束随机测试生成的优势结合在一起，覆盖目标的速度达到传统测试平台解算器的50倍。

Questa One DFT Simulation Acceleration软件利用Questa One Parallel Simulation软件，使门级可测试性设计（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软件可提供无与伦比的加速和自动化，能以最快的速度完成验证收敛，并获得最高的置信度。

客户使用Questa One的体验

Arm生产率工程负责人Karima Dridi表示：“Questa One智能验证解决方案提高了我们在传统内部部署和云部署中的验证生产率。作为使用高性能Questa One Sim高级功能仿真器运行大型EDA工作负载的早期采用者，我们观察到最新AArch64架构提高了性能、成本效率，并缩短了回归时间。”

联发科连接技术部高级技术经理黄建霖表示：“作为西门子Questa One智能验证解决方案的早期用户，联发科已经能够通过形式验证和仿真技术提高我们工程师在整个验证流程中的生产率。Questa One Property Assist利用生成式AI为我们节省了数周的工程时间，Questa One Regression Navigator则可以预测哪些仿真测试最有可能失败，并首先运行这些测试，从而节省了数天的回归和调试时间。”

微软硅工程副总裁Selim Bilgin表示：“Questa One DFT（QDX）仿真利用以DFT为中心的先进仿真功能，提供比现有仿真解决方案更快的性能，将我们的验证时间从数周缩短到数天。除了这些令人印象深刻的速度提升之外，在微软的Azure Cobalt 100平台上，QDX的性能还可提升20%，为我们的EDA工作负载提供更高的效率。”

Rambus硅IP工程副总裁Susheel Tadikonda表示：“西门子的Questa One智能验证解决方案改进并简化了我们的验证流程，使我们能够利用针对PCIe、CXL和HBM接口的最先进硅IP解决方案，来应对新时代的数据中心工作负载，例如生成式AI。使用包括仿真、静态和形式分析、验证IP技术在内的完整Questa One解决方案，能够帮助客户对SoC和芯粒设计的IP解决方案进行全面验证，从而增强客户的信心。”

来源：半导体芯科技
【线上会议】
6月24日14:00，聚焦半导体量测智能化升级的线上研讨会重磅开启！后摩尔时代，半导体检测技术如何突破？AI+多维协同是关键！直击AI+AOI/3D检测/HBM/先进封装等技术痛点，立即扫码报名，锁定席位：https://w.lwc.cn/s/Y7RnQ3
【2025全年计划】
隶属于ACT雅时国际商讯旗下的两本优秀杂志：《化合物半导体》＆《半导体芯科技》2025年研讨会全年计划已出。
线上线下，共谋行业发展、产业进步！商机合作一览无余，欢迎您点击获取！

来源：半导体芯科技SiSC