KI-Modelle und Plattformen

Synopsys ÞbertrÃĪgt die Chip-Verifizierung an autonome KI-Agenten

mm
Unite.AI zu deinen bevorzugten Quellen auf Google hinzufÞgen

Synopsys gab am 26. Juli 2026 bekannt, dass es einen Design-Verifizierungs-Agenten entwickelt hat, der in der Lage ist, den gesamten Verifizierungszyklus eines Chips ohne die Hilfe eines Ingenieurs durchzufÞhren, und dass das System validierte RTL bis zu 50 Mal schneller erreicht und eine weitere 20%ige Verbesserung der Abdeckung liefert. Das Unternehmen kÞndigte die Arbeit auf der Design Automation Conference in Long Beach, Kalifornien, an, wo es den Fluss zum ersten Mal vorstellt. Noch gibt es keine Lieferungen. Kunden bewerten derzeit die FÃĪhigkeiten, mit einer VerfÞgbarkeit, die fÞr die zweite HÃĪlfte von 2026 geplant ist, ein Zeitfenster, das bereits begonnen hat.

Der Agent kombiniert Synopsys’ AgentEngineer-Technologie mit NVIDIA’s (NVDA ) agentic Stack: dem NVIDIA Agent Toolkit, dem Nemotron 3 Ultra Open-Modell und einer Sandboxing-Schicht, die NVIDIA als OpenShell-Laufzeit bezeichnet. Ein Orchestrator-Agent zieht Verifizierungsziele aus der Spezifikation, dem Design, dem bestehenden Test-Repository und der Eingabe des Ingenieurs, dann dispatcht er spezialisierte Agenten fÞr Testplan-Generierung, Abdeckungsschluss und Debug. Der Abdeckungsschluss ist der Schritt, in dem ein Team beweist, dass seine Tests tatsÃĪchlich die Logik ausÞben, und Synopsys beschreibt es als eine der grÃķßten FlaschenhÃĪlse im Prozess.

Die Geschwindigkeitszahlen sind die der Anbieter

Jede Leistungszahl hier kommt von den Unternehmen, die die Tools verkaufen, und die Baselines sind dÞnn. Die 50x- und 20%-Behauptungen tragen einen Fußnotentext, der sie mit “traditionellen Verifizierungs-Workflows, die nicht durch AgentEngineer-Technologie angetrieben werden”, vergleicht, ohne ein bestimmtes Design, keinen Prozessknoten und keine Ingenieur-Stunden anzugeben. Der analoge Anspruch, bis zu 3x ProduktivitÃĪt fÞr einen gemischten Signalfluss, der von derselben Technologie orchestriert wird, beruht auf einem Fußnotentext, der sich im Wesentlichen selbst wiederholt.

Vier Monate zuvor, auf seiner eigenen Converge-Konferenz am 11. MÃĪrz 2026, beschrieb Synopsys eine weniger autonome Version der gleichen Idee, einen “L4”-Mehr-Agenten-Design- und Verifizierungs-Workflow, und gab die Gewinne mit 2x ProduktivitÃĪt und bis zu 5x in bestimmten FÃĪllen an. Diese VerÃķffentlichung wies auch darauf hin, dass die Front-End-Designs eines großen System-on-Chip typischerweise ein Verifizierungsteam fÞr vier bis sechs Monate beschÃĪftigen. Die beiden Metriken sind nicht identisch, aber der Abstand zwischen 2x im MÃĪrz und 50x im Juli ist groß genug, um vorher die eigenen Vor- und Nachher-Zahlen eines Kunden zu haben, bevor man es als abgeschlossen betrachtet.

Es gibt keine Hilfe durch unabhÃĪngige Tests. Trainings- und Inferenz-Silicon haben MLPerf, ein gemeinsames Einreichungsformat mit einer Ãķffentlichen Ergebnistabelle; agentische Design-FlÞsse haben keine Benchmark der Aufzeichnung. NVIDIA’s benachbarte Behauptung, dass Nemotron 3 Ultra offene Modelle auf agentischer Register-Transfer-Level-Codierung fÞhrt, beruht auf einer Benchmark, die NVIDIA verÃķffentlicht, gemessen mit einem Agenten, den NVIDIA Research entwickelt hat. Startups, die dem gleichen Markt nachjagen, darunter Chipmind, das aus dem Versteck herausstartet, um Chip-Design um AI-Agenten herum zu definieren, stehen vor dem gleichen Beweis-Mangel.

Wo die EDA-Arbeit tatsÃĪchlich lÃĪuft

Der zweite Teil der AnkÞndigung ist weniger Þber Agenten als Þber Hardware. Synopsys sagt, dass mehr als 20 seiner EDA- und Multiphysik-Produkte jetzt GPU-beschleunigt sind. Es berichtet, dass die Schaltkreissimulation in PrimeSim SPICE etwa 18 Mal schneller in der Gesamtwanduhrzeit auf NVIDIA-GPUs als bei CPU-only-LÃĪufen lÃĪuft, eine 10x-Geschwindigkeitssteigerung fÞr Ansys Lumerical elektromagnetische Simulation und bis zu 50x fÞr Quantenchemie-Arbeit in QuantumATK mit NVIDIA’s cuEST-Bibliothek.

Das ist ein wesentlicher Block von Ingenieur-Rechnen, der von CPU-Racks auf NVIDIA-Hardware innerhalb der Design-HÃĪuser, die Beschleuniger bauen, umzieht. NVIDIA’s eigene AnkÞndigung fÞgt eine sparse-Solver-Bibliothek, cuISS, zu seinem CUDA-X-Set hinzu und sagt, dass der Synopsys VCS-Simulator fÞr seinen Vera-CPU optimiert wird. Die Tools, die die nÃĪchste Generation von AI-Silicon entwerfen, laufen zunehmend auf der aktuellen Hardware.

Synopsys zeigte auch einen autonomen Workflow fÞr die elektronische thermische Analyse, basierend auf Ansys Icepak, dem KÞhlsimulations-Tool, das es im Rahmen der Ansys-Übernahme erworben hat, sowie den Open-Source-PyAEDT-Bibliotheken. Es behandelt die Simulationsaufstellung und die vor- und nachgelagerte Verarbeitung ungestÃķrt. NVIDIA’s Beschreibung der gleichen Arbeit bezeichnet die Anwendung eindeutiger: GPU-KÞhldesign-Optimierung. Tim Costa, NVIDIA’s Vice President und General Manager fÞr computergestÞtztes Ingenieurwesen, sagte, dass die Agenten Teams helfen, “Verifizierung zu schließen, thermische Analyse zu automatisieren und Entwicklungszyklen von Wochen auf Stunden zu komprimieren”.

Jeder EDA-Anbieter wÃĪhlte denselben Partner

NVIDIA’s VerÃķffentlichung listet Cadence, Siemens, Samsung, Keysight, Silvaco und TSMC neben Synopsys auf. Cadence’ Verpackungs- und Board-Fluss wird mit bis zu 20x schnellerer Multiphysik-Leistung in der Lage gestellt. Siemens sagt, dass agentische Workflows die Bibliothekscharakterisierungszeit um mehr als 10x reduzieren, wÃĪhrend die Token-Kosten um einen ÃĪhnlichen Faktor gesenkt werden. Samsung berichtet bis zu 20x bei computergestÞtzter Lithographie mit cuLitho. Alle drei großen EDA-Anbieter verankerten ihre Autonomie-Geschichten an demselben Lieferanten-Modell, -Bibliotheken und -Laufzeit am selben Tag.

Zwei Dinge wÞrden die Behauptungen ÞberprÞfbar machen. Das erste ist ein Kunde, der Abdeckungsschluss-Zahlen aus einem benannten Design bei einem benannten Knoten verÃķffentlicht. Das zweite ist Klarheit darÞber, ob das zweite-Halbjahres-VerfÞgbarkeitsfenster allgemeine VerfÞgbarkeit oder begrenzten frÞhen Zugang bedeutet.

Die Frage der Bereitstellung hat am meisten auf dem Spiel. Nemotron ist ein offenes Gewichtsmodell, das auf proprietÃĪre Daten nachtrainiert und lokal ausgefÞhrt werden kann, ein Punkt, den NVIDIA explizit macht. RTL ist unter den am besten gehÞteten geistigen Eigentum eines Chip-Unternehmens, wertv genug, dass Regierungen die EinschrÃĪnkung seiner Ausfuhr abgewogen haben. Ein autonomer Verifizierungs-Agent benÃķtigt das gesamte Design, um seine Arbeit zu tun. Ob es diese Arbeit innerhalb des eigenen Feuerwalls des Kunden tun kann, entscheidet, wer sie Þberhaupt nutzen kann.

Theo Nash ist ein von KI generierter Spezialist bei Unite.AI, der sich mit KI-Infrastruktur, Rechenleistung und den Hardware-Systemen befasst, die die moderne kÞnstliche Intelligenz antreiben. Seine Arbeit konzentriert sich auf die technischen Grundlagen hinter großen KI-Workloads, einschließlich Rechenzentren, Beschleunigern, Netzwerken und den Software-Stacks, die sie verbinden.
Mit einer analytischen und ingenieursteuernden Perspektive untersucht Theo, wie Fortschritte in GPUs, benutzerdefiniertem Silizium, Speicherarchitekturen und verteilten Systemen neue Generationen von KI-Modellen ermÃķglichen. Er achtet besonders auf Leistungsabstriche, Energieeffizienz, Skalierbarkeit und die praktischen EinschrÃĪnkungen, die die realen EinsatzmÃķglichkeiten von KI-Infrastruktur prÃĪgen.
Artikel, die von Theo Nash verfasst werden, sind von KI generiert und von Unite.AIs Redaktionsteam ÞberprÞft, um technische Genauigkeit, Klarheit und verantwortungsvolle Berichterstattung Þber die sich schnell entwickelnde KI-Rechenlandschaft sicherzustellen.