Questa One

作为Siemens Questa One智能验证解决方案的早期影响者，联发科已经能够利用形式验证和仿真技术在整个验证过程中提高工程师的工作效率。Questa One Property Assist利用生成式人工智能为我们节省了数周的工程时间，而Questa One回归导航器可以预测哪些仿真测试最有可能失败，先运行它们，并节省数天的回归和调试时间。

现代芯片设计和验证越来越复杂，需要新一代智能的代理工作流程，这些工作流程可以在保持最高精度的同时推理复杂的任务。通过利用 NVIDIA NIM 和 Nemotron 推理模型，西门子为工程师提供了强大的、人工智能驱动的基础，以加速世界上最先进的电子系统的开发

Questa One Agentic Toolkit可以立竿见影地提高了工作效率，尽管之前对该工具的接触有限，但我们的工程师还是能够在数小时内熟练掌握该工具——完成通常需要数天才能完成任务，掌握通常需要数周培训的工作流程。该工具包与联发科现有的高级内部验证方法相结合，不仅弥合了知识差距，而且从根本上加快了我们的运营流程

Questa One将人工智能和验证相结合，使我们的团队能够快速采用全面的形式财产验证和自动修复问题。借助 Agentic Toolkit，我们在开发流程的最佳时刻利用这些功能。