Questa One

Als einer der ersten Influencer der Siemens Questa One Smart Verification Solution war MediaTek bereits in der Lage, die Produktivität unserer Ingenieure während des gesamten Verifikationsprozesses zu steigern, indem sowohl formale Verifizierungs- als auch Simulationstechnologien eingesetzt wurden. Questa One Property Assist nutzt generative KI, um uns Wochen an Entwicklungszeit zu sparen, und Questa One Regression Navigator sagt voraus, welche Simulationstests am wahrscheinlichsten fehlschlagen werden, führt sie zuerst aus und spart Tage an Regressions- und Debugging-Zeit.

Die zunehmende Komplexität des modernen Chipdesigns und der Verifizierung erfordert eine neue Generation intelligenter, agentischer Arbeitsabläufe, die komplizierte Aufgaben logisch lösen und gleichzeitig ein Höchstmaß an Präzision gewährleisten können. Durch die Nutzung von NVIDIA NIM- und Nemotron-Argumentationsmodellen bietet Siemens Ingenieuren eine leistungsstarke, KI-gestützte Grundlage, um die Entwicklung der fortschrittlichsten elektronischen Systeme der Welt zu beschleunigen

Die Produktivitätssteigerungen, die durch das Questa One Agentic Toolkit erzielt wurden, waren sowohl unmittelbar als auch signifikant. Unsere Techniker waren in der Lage, innerhalb weniger Stunden kompetent zu werden, obwohl sie das Tool nur begrenzt kannten — sie erledigten Aufgaben, die in der Regel Tage in Anspruch nehmen, und beherrschten Arbeitsabläufe, für die normalerweise wochenlanges Training erforderlich wäre. In Kombination mit der bestehenden fortschrittlichen internen Verifizierungsmethode von MediaTek überbrückte das Toolkit nicht nur die Wissenslücke, sondern beschleunigte auch unsere betrieblichen Prozesse grundlegend.

Questa One kombinierte KI und Verifizierung und ermöglichte es unserem Team, schnell die vollständige formelle Eigentumsüberprüfung durchzuführen und Probleme automatisch zu beheben. Mit dem Agentic Toolkit nutzen wir diese Funktionen an der optimalen Stelle in unserem Entwicklungsablauf.