产品发布 - 西门子数字工业软件推出Questa™ One智能验证软件组合，结合AI技术提升集成电路验证效率[1][2] - 该产品旨在解决IC行业日益复杂的设计挑战，通过连接性、数据驱动方法和可扩展性提高工程团队生产力[2][4] - 产品支持从IP到系统级芯片(SoC)再到系统的复杂设计，特别针对3D-IC、小芯片设计和软件定义架构进行优化[3] 技术突破 - Questa One将IC验证从被动过程转变为智能自优化系统[5] - 集成AI自动化、预测分析和无缝工作流连接，显著加速验证周期并减少人工投入[5] - 具体性能提升包括：覆盖率加速软件比传统测试平台快50倍，DFT模拟加速软件快8倍，故障模拟加速软件快48倍[6] - 无激励验证软件将复杂SoC参考设计的处理时间从24小时以上缩短至1分钟以内[6] 客户反馈 - Arm公司表示该解决方案提高了验证生产力，改善了性能、成本效益并减少了回归测试时间[9] - 联发科通过使用正式验证和仿真技术提高了工程师生产力，生成式AI功能节省了数周工程时间[9] - 微软Azure Cobalt 100平台上获得额外20%性能提升，验证时间从数周缩短至数天[9] - Rambus公司表示该解决方案优化了验证流程，能够应对生成式AI等新时代数据中心工作负载[9] 核心原则 - 连接性验证软件：连接工程师、EDA工具和验证IP，形成统一生态系统[12] - 数据驱动验证软件：利用AI分析提供新见解，提高验证生产力[12] - 可扩展验证软件：提供无与伦比的加速和自动化，实现最快验证闭环[12] 公司背景 - 西门子数字工业软件帮助各行业组织进行数字化转型，提供从芯片到整个系统的解决方案[10][11] - 西门子集团2024财年营收759亿欧元，净利润90亿欧元，全球员工约312,000人[15] - 数字工业部门全球员工约70,000人，专注于推动客户成为可持续数字企业[13]