5月14日消息，据EEnews europe报道，西门子EDA（Siemens EDA）设计验证技术副总裁兼总经理 Abhi Kolpekwar 表示，目前首次流片成功率（应该指的是基于尖端制程工艺的芯片）正在下降，已经从 2020 年的 32% 和2022 年的 24% 下降到 2024 年的 14%。
“这在 ASIC 和 FPGA 中都是一个令人惊讶和令人震惊的下降，”Abhi Kolpekwar说。这是一个非常大的问题，其原因可以追溯到目前客户流片的设计复杂性。
Siemens EDA公司开发了一套互锁的工具，用于使用 AI 代理验证设计，以尝试解决这个问题。
“第二个问题是时序约束。75% 的项目落后于计划。然后，熟练的工程师只能满足 20% 的需求，因此目前 80% 的需求没有得到满足。”Abhi Kolpekwar表示：“我的业务就是帮助人们在流片之前对他们的设计进行功能验证，尽快、尽早地发现设计中的任何错误。错误在系统中停留的次数越多，它们的成本就越高，因此计划是在越早期的时候尽可能多地捕捉它们，这样人们就不需要重新设计了。”
“仅仅生产更快的模拟器是不够的。我们需要更快的引擎、更快的工程师（通过自动化任务和分析）以及更少的工作负载。所有这些都使最终用户的总生产力提高了 5 倍，”Abhi Kolpekwar说。
目前Siemens EDA推出的Questa One 具有三个要素，具有新的模拟引擎、验证工具和验证 IP，所有这些都使用生成式 AI 和 AI 代理。这些工具正在被 ARM、Mediatek、Rambus 和 Microsoft 使用。
例如，智能创建工具采用设计要求，并将其转化为设计要求，以便使用 Generative AI 进行形式化验证。智能回归工具可识别故障模式，并使用预测性 AI 快速调试问题。
“您无需运行数千次回归测试，只需针对任何设计更改运行几百次优化测试。此外，还可以预测可能失败的测试用例，并且这些测试用例首先排序，这样如果回归失败，您就不必运行其余的测试，”Abhi Kolpekwar说。“这就是我们使用 AI 来减少工作量的方式。”
智能引擎可以访问所有设计数据库和测试平台，以加速数据计算，加速仿真，而智能调试工具使用 AI 来识别故障并为特定代码提供根本原因分析。
Siemens EDA开发了一种新的仿真引擎，支持具有自动分区的并行仿真、功能安全仿真以及静态和动态功耗分析。
在运送给客户之前，AI 会根据 Siemens EDA 中的标准文档进行训练，并且模型将使用带有检索增强生成 （RAG） 的本地训练模型进行训练。这简化了验证工具链。
“您可以将生成式 AI 代码生成用于测试台，也可以用于运行形式检查器，但这还不够，”Abhi Kolpekwar说。“您可以从设计需求文档中选取部分，并直接从文档中生成结果。”
QuestaOne 验证工具链的另一部分是无激励验证 （SFV），用于静态和形式验证，无需仿真平台即可发现错误。
“SFV 的想法使用 GenAI、LLM、预测和分析 AI 将静态和形式分析相结合，而不是在用户提出问题的地方启动 linter，我们应用 linter，找到违规并自动修复，然后运行 RTL 到 TRL 等效性检查。”Abhi Kolpekwar说。
Verification IQ 工具使用分析 AI 和生成式 AI 来自动执行任务和工作负载。这来自 2023 年Siemens EDA对 Avery Design Systems 的收购。
Abhi Kolpekwar表示：“我们正在构建该基准协议技术，通过验证 IP 生态系统引入测试用例和 AI 应用程序的基础设施。自从我们收购了它们以来，我们已经创建了一个验证 IP 生态系统，在 QEMU 软件仿真和 Veloce 硬件仿真上具有可仿真和可仿真的 IP。”从汽车和 AI 加速器芯片到存储设备和航空航天设计，应用范围广泛。
“我们的客户反馈如何加快复杂设计速度，自动化任务以更快地完成任务，并帮助设计验证经理节省资源，”Abhi Kolpekwar 说。
“Questa One 智能验证解决方案提高了我们在传统本地和云部署中的验证效率，”Arm生产力工程主管 Karima Dridi 表示，“作为使用高性能 Questa One Sim 高级功能仿真器运行大型 EDA 工作负载的早期采用者，我们观察到最新 AArch64 架构在性能、成本效益和回归时间缩短方面的改进。”
联发科技车联网技术部高级技术经理Chienlin Huang表示：“作为Siemens Questa One 智能验证解决方案的早期影响者，联发科技已经能够利用形式验证和仿真技术提高我们工程师在整个验证过程中的生产力。“Questa One Property Assist 利用生成式 AI 为我们节省了数周的工程时间，而 Questa One Regression Navigator 可以预测哪些仿真测试最有可能失败，首先运行它们，并节省数天的回归和调试时间。”
“Questa One DFT （QDX） 仿真利用先进的以 DFT 为中心的仿真功能，提供比现有仿真解决方案更快的性能，将我们的验证时间从数周缩短到数天，”Microsoft DFT 总监 Claudia Muia-Tartevet 说。“除了这些令人印象深刻的加速之外，在 Microsoft 的 Azure Cobalt 100 平台上，QDX 还提供了高达 20% 的性能提升，为我们的 EDA 工作负载释放了更高的效率。”
Rambus 硅 IP 工程副总裁 Susheel Tadikonda 表示：“西门子的 Questa One 智能验证改进并简化了我们的验证流程，使我们能够通过适用于 PCIe、CXL 和 HBM 接口的最先进的硅 IP 解决方案来处理生成式 AI 等新时代的数据中心工作负载。利用完整的 Questa One 解决方案，包括仿真、静态和形式分析以及验证 IP 技术，通过对 SoC 和小芯片设计的 IP 解决方案进行全面验证，增强了客户的信心。”
编辑：芯智讯-浪客剑
