Questa One

作為西門子 Questa One 智能驗證解決方案的早期影響者，聯發科已經能夠利用正式驗證和模擬技術提高我們的工程師在整個驗證過程中的生產力。Questa One 屬性輔助功能利用生成人工智能來節省我們數週的工程時間，Questa One 回歸導覽器預測哪些模擬測試最有可能失敗，首先執行它們，並節省數天的回歸和調試時間。

現代晶片設計和驗證的複雜性日益增加，需要新一代智能、代理的工作流程，這些工作流程可以理解複雜的任務，同時保持最高等級的精確度。通過利用 NVIDIA NIM 和 Nemotron 推理模型，西門子為工程師提供強大的人工智能基礎，以加速世界上最先進的電子系統的開發

Questa One 代理工具組提供的生產力提升既即時又顯著，我們的工程師能夠在數小時內成熟，儘管事先接觸工具有限，完成通常需要數天的任務，並掌握通常需要數週的培訓的工作流程。結合聯發科現有先進的內部驗證方法，該工具包不僅彌補了知識差距，還可以根本加速了我們的營運流程

Questa One 結合了 AI 和驗證，使我們的團隊能夠快速採用完整的正式屬性驗證和自動修復問題。透過代理工具包，我們在開發流程中最佳的時候利用這些功能。