Siemens hat seine Verifizierungssoftware „Questa One” um integrierte, domänenspezifische KI-Agenten und entsprechende Workflows ergänzt. Diese beschleunigen die Erstellung, Verifizierungsplanung, Ausführung, Fehlerbehebung und den Designabschluss. Gleichzeitig ändert sich auch die Art und Weise, wie Ingenieure integrierte Schaltungen (IC) entwerfen und Verifizierungsaufgaben durchführen.
Die Produktivitätslücke bei der Verifizierung wächst weiter, da die Komplexität von Designs durch 3D-ICs, chipletbasierte Architekturen und softwaredefinierte Systeme drastisch zunimmt. Das „Questia One Agentic Toolkit” transformiert die Verifizierung und das Design, indem es anstelle der bisherigen isolierten Interaktionen mit Tools intelligente, domänenspezifische, mehrstufige und Framework-unabhängige Workflows mit Unterstützung durch agentische KI bietet. Unter agentischer KI versteht Siemens autonome Systeme, die innerhalb der Verifizierungsdomäne unter kundendefinierten Governance-Grenzen arbeiten, komplexe Aufgaben durchdenken, planen und ausführen können und gleichzeitig an kritischen Entscheidungspunkten in den bestehenden Umgebungen der Ingenieure eine konfigurierbare menschliche Kontrolle ermöglichen.
Das Questa One Agentic Toolkit arbeitet nahtlos mit dem Fuse-EDA-AI-System zusammen. Dabei handelt es sich um das agentische und generative Siemens-Framework für die Automatisierung der Elektronikentwicklung. Es bietet Kunden, die ein vollständig integriertes Siemens-Erlebnis wünschen, laut Hersteller optimierte Leistung und umfassende Integration.
In Anerkennung der hohen Bedeutung von Wahloptionen für unsere Kunden schützt die frameworkunabhängige Architektur bestehende Investitionen und lässt sich ohne Kompromisse in andere agentische Plattformen integrieren. Unabhängig davon, ob Teams bestehende oder neue Frameworks verwenden, passen sich Questa-One-Agenten-Workflows an.
Siemens verbindet sein Know-how im Bereich von Verifizierungs-Engines mit tiefgreifender KI-Integration und Wahloptionen für die Kunden, indem es drei verschiedene Säulen etabliert:
- Engine-native Intelligenz: Siemens entwickelt sowohl die Questa-One-Tools als auch die Modellkontextprotokolle (Model Context Protocols, MCPs), die diese für die agentischen Frameworks zugänglich machen. Diese Workflows, die auf NVIDIA Llama Nemotron und NVIDIA NIM basieren, erfassen den Verifizierungsstatus in Echtzeit und sorgen für umfassende Transparenz und kontextbezogene Intelligenzbeziehungen zwischen Designs, Prüfständen, Prüfplänen und Spezifikationen. Dies bietet Kunden eine autonome Zielzerlegung, adaptive Cross-Run-Strategien und einen kontinuierlichen Aufbau von Fachwissen.
- Codierungsanwendung und Plattformunabhängigkeit: Die Lösung funktioniert mit gängigen KI-Codierungsanwendungen – darunter GitHub Copilot, Claude Code, Cursor, Cline und Fuse von Siemens – und kann im CLI-Modus oder in integrierten Entwicklungsumgebungen verwendet werden. Obwohl sie für Fuse optimiert sind bleiben diese Workflows völlig unabhängig und passen sich an die Workflows der Kunden an.
- Skalierbares, vernetztes, datengesteuertes Fundament: Durch die Nutzung des vernetzten Verifizierungsökosystems, das Tools wie Questa One, die Tessent-Software für DFT und das hardwaregestützte Verifizierungs- und Validierungssystem Veloce CS dynamisch miteinander koordiniert, bringen diese agentischen Workflows KI-gestützte Funktionen in die gesamte Entwicklungs- und Verifizierungslandschaft.
Das Questa One Agentic Toolkit wird mit folgenden intelligenten Agenten eingeführt, die das Potenzial von agentischer KI demonstrieren:
- Der RTL Code Agent generiert synthetisierbaren RTL-Code aus natürlichen Sprachbeschreibungen, während er gleichzeitig auf Verstöße gegen Programmierregeln prüft und Korrekturvorschläge unterbreitet, die den Branchenstandards entsprechen, um den Ingenieuren sauberen, hochwertigen RTL-Code zur Überprüfung zu präsentieren.
- Der Lint Agent führt eine optimale Konfiguration der Lint-Analyse aus, indem er bestehenden RTL-Code liest, um ihn auf Entwicklungsfehler und Verstöße gegen die Programmierregeln zu überprüfen. Daraufhin überprüfen die Entwickler die Ergebnisse und erhalten automatisch und KI-gestützt Vorschläge für Designkorrekturen oder Sonderfreigaben, um höchste RTL-Qualität sicherzustellen.
- Anschließendkonfiguriert der CDC Agent optimal die Clock-Domain-Crossing-Verifizierung und führt sie für ein bestimmtes Design durch. Basierend auf den Ergebnissen werden Vorschläge zur Feinabstimmung der Konfiguration unterbreitet. Dadurch können die Entwickler nach der Überprüfung der Ergebnisse extrem saubere asynchrone Designs erzielen und automatisierte KI-gestützte Designkorrekturen oder Sonderfreigaben umsetzen.
- Der Verification Planning Agent analysiert Designspezifikationen und generiert automatisch umfassende Verifikationspläne. Die Ingenieure überprüfen und genehmigen jeden Schritt, während die KI die Strukturierungsabschnitte bearbeitet, detaillierte Funktionsbeschreibungen erstellt und Szenarien definiert sowie Strategien überprüft.
- Der Debug Agent beschleunigt die Ursachenanalyse, indem er Wellenformen, Assertions, Abdeckungsdaten und Protokolldateien intelligent korreliert. Er identifiziert verdächtige Signalübergänge, schlägt potenzielle Fehlermechanismen vor und generiert gezielte Debugging-Szenarien für die Überprüfung durch Ingenieure.
Diese Agenten nutzen die MCPs des Toolkits, um direkt mit Questa One Verification IQ, Questa One SFV, Questa One Sim und anderen Tools zu arbeiten, unterstützt durch kuratierte Prompt-Bibliotheken, die von Domain-Experten entwickelt wurden.
Das Questa One Agentic Toolkit ist bereits im Rahmen eines Early-Access-Programms verfügbar. (jr)
