SAN FRANCISCO / LONDON (IT BOLTWISE) – Cadence stellt mit Verisium eine KI-gestützte Plattform vor, die Verifikationsdaten aus Simulation, Emulation und formaler Verifikation zusammenführt. Statt einzelne Regressionen manuell durchzuscannen, korreliert die Lösung Fehlerpfade, bildet Cluster und priorisiert verdächtige Tests. Im Kern zielt Verisium darauf, Debug-Zeit in SoC-Projekten zu verkürzen, ohne die fachliche Steuerung der Ingenieurinnen und Ingenieure zu ersetzen. Für Unternehmen bedeutet das vor allem: mehr Geschwindigkeit im Fehlermanagement und potenziell weniger Reibung in großen Test-Backlogs.
Cadence macht Verifikation im Chipdesign gerade zu einem KI-Problem: Mit dem Verisium AI-Verification Solution will das Unternehmen Verifikationsdaten aus mehreren Disziplinen zusammenziehen und sie so auswertbar machen, wie es heutige Debug-Workflows selten leisten. Die Vision ist pragmatisch. Wo Verifikationsingenieurinnen und -ingenieure sonst in Regressionen, Logfiles und Wellenformen nach wiederkehrenden Mustern suchen, soll Verisium diese Signale automatisch clustern und die wahrscheinlichsten Ursprünge markieren. Entscheidend ist dabei weniger das Buzzword, sondern der Ansatz, KI nicht als Ersatz, sondern als datengetriebenen Verstärker im bestehenden Flow zu positionieren.
Technisch setzt Verisium an der Realität moderner SoCs an: Simulationen erzeugen große Mengen Laufzeit- und Trace-Daten, Emulationen liefern andere Granularität und formale Verifikation deckt logische Gegenbeispiele ab. Verisium bündelt diese Datenströme laut Cadence in einer Plattform und bietet darauf spezialisierte Apps wie Verisium Debug, Verisium Semantic Diff und Verisium WaveMiner. Genau hier liegt der technische Kern: Semantic Diff zielt darauf, Unterschiede zwischen Zustands- oder Semantik-Ebenen nicht nur textuell, sondern inhaltlich besser nachvollziehbar zu machen. WaveMiner soll Wellenform-Muster verdichten, sodass „Error-Hunting“ weniger Sucharbeit und mehr datenbasierte Priorisierung wird.
Im Alltag bedeutet das konkret einen anderen Debug-Loop. Statt hunderte Regressionen nacheinander zu prüfen, lassen Teams Verisium die Ergebnisse korrelieren, wiederkehrende Fehlerpfade herausarbeiten und Cluster bilden. Solche Cluster sind mehr als eine Komfortfunktion: Sie sollen wiederholte Fehlermuster über verschiedene Designs hinweg sichtbar machen, etwa wenn ähnliche Randbedingungen, gleiche Zustandsautomaten oder wiederkehrende Constraints dieselben Symptome produzieren. Cadence betont außerdem, dass die Lösung Wahrscheinlichkeiten und Vorschläge liefert, aber keine alleinige Entscheidungsinstanz. Das ist aus Sicherheits- und Qualitäts-Sicht wichtig, weil bei schwach ausgeprägten Bugs oder unvollständigen Testdaten jede datengetriebene Priorisierung ihre Grenzen hat.
Marktseitig ist das ein Signal in einen Wettbewerb, in dem EDA-Hersteller seit Jahren versuchen, mehr Automatisierung in Debug und Verification zu bringen. Siemens EDA und NVIDIA bieten über ihre jeweiligen Ökosysteme ebenfalls KI-nahe Ansätze an, und Synopsys treibt in verschiedenen Bereichen Automatisierung rund um Verification und Debug voran. Cadence setzt jedoch mit Verisium stärker auf die Zusammenführung heterogener Datenquellen und auf semantische sowie verhaltensnahe Auswertung. Branchenexperten kommentieren diese Richtung häufig so: KI könne die Suche beschleunigen, aber der größte Hebel entstehe erst dann, wenn Daten aus Simulation, Emulation und formaler Prüfung zuverlässig verknüpft und in nachvollziehbare Artefakte übersetzt werden.
Ein relevanter Punkt für IT- und Security-Verantwortliche ist die Einbettung in den bestehenden Cadence-Stack. Verisium soll nicht isoliert neu aufgesetzt werden, sondern an vorhandene Cadence-Produkte andocken. Besonders genannt wird die enge Zusammenarbeit mit Xcelium-Simulation und Palladium-Emulation, wobei Verisium Laufzeitdaten abstrahiert und für KI-Modelle nutzbar macht. Genau diese Integrationsstrategie reduziert Betriebsrisiken: Teams müssen Regressionen und Test-Infrastruktur nicht komplett umstellen, sondern erweitern ihren Flow um Analysen. Gleichzeitig entsteht ein Datenschutz- und Governance-Thema: In vielen Unternehmen liegen Verifikationsdaten in sensiblen Entwicklungsumgebungen. Deshalb werden Architekturentscheidungen wie Zugriffskontrolle, Datenminimierung und klare Auditierbarkeit der KI-Ausgabe zur Voraussetzung für eine sichere Einführung.
Auch die „Company“-Perspektive ist nicht zu übersehen. Verisium gehört zu einer breiteren KI-getriebenen Produktlinie, mit der Cadence seine Position in der Electronic Design Automation festigen will. Neben Verisium werden etwa Cerebrus-Systeme für automatisiertes Design-Space-Exploring genannt. Damit folgt Cadence einem Muster, das man aus der KI-Industrie kennt: Man baut Funktionsbausteine, die in unterschiedliche Phasen des Entwicklungszyklus greifen, und versucht, die Datenhoheit über den gesamten Prozess zu sichern. Für die Cadence-Aktie werden in der Meldung zudem Kennzahlen wie eine Notierung an der NASDAQ und ein zuletzt genannter Kurswert genannt; für Anleger ist das jedoch nur Kontext, nicht Grundlage für Entscheidungen.
Historisch betrachtet ist der Schritt nachvollziehbar. Frühe Ansätze in EDA konzentrierten sich auf Regelwerke, heuristische Checks und klassische Ursachenanalysen anhand von Fehlercodes. Später kamen statistische Methoden hinzu, etwa zur Auffindbarkeit von Regression-Fehlern oder zur Priorisierung von Runs. Der aktuelle KI-Schub geht einen Schritt weiter, weil Modelle Muster nicht nur klassifizieren, sondern über Embeddings, semantische Vergleiche und datengetriebene Ähnlichkeitsmaße verknüpfen können. Der wichtigste Unterschied ist: KI kann aus heterogenen Artefakten konsistente Hinweise ableiten, die Menschen ohne Automationsunterstützung in der gleichen Zeit nicht finden würden.
Für Unternehmen ergibt sich daraus ein konkretes Projektbild. Verisium eignet sich besonders, wenn Debug-Zeit in großen Test-Backlogs zum Engpass wird und die Teams bereits viele Regressionsergebnisse erzeugen. Der Nutzen entsteht typischerweise dort, wo wiederkehrende Fehlerpfade zuverlässig auftreten und wo die Toolchain genug Kontext liefert, damit Clusterbildung sinnvoll ist. Umgekehrt sollten Firmen bei der Einführung ein Erwartungsmanagement betreiben: Die letzte Entscheidung bleibt beim Engineering, und bei „seltenen“ Bugs oder unzureichender Testabdeckung bleibt die klassische manuelle Analyse unvermeidlich. In der Praxis ist daher eine stufenweise Adoption sinnvoll, bei der KI-Vorschläge zuerst als „Assistenz“ genutzt und später anhand von Qualitätskennzahlen in den Prozess integriert werden.
Der Blick nach vorn hängt an zwei Faktoren: der Qualität der Datenverknüpfung und der Integrationstiefe in MLOps-artige Betriebsprozesse. Wenn Cadence es schafft, Verisium-Modelle fortlaufend an neue SoC-Generationen anzupassen, könnte die Plattform mit jedem Projekt mehr „Gedächtnis“ für fehlerträchtige Strukturen aufbauen. Gleichzeitig wird die Regulierung und interne Compliance wichtiger, sobald KI-Ausgaben stärker in Entwicklungsentscheidungen einfließen: nachvollziehbare Logs, klare Verantwortlichkeiten und dokumentierte Modellgrenzen werden für viele Unternehmen nicht verhandelbar. So könnte Verisium in den nächsten Releases nicht nur Debug beschleunigen, sondern auch die Messbarkeit von Verifikationsqualität in Richtung „KI-gestützter Qualitätsprozess“ verschieben.
💳 Amazon-Kreditkarte mit 2.000 Euro Limit bestellen!
🔥 Heutige Hot Deals bei Amazon: Bis zu 80% Rabatte!
🎉 Amazon Haul-Store für absolute Schnäppchenjäger!
- ★ 23-stufiges KI-Go-Training – Für Spieler mit Grundkenntnissen der Regeln – Entwickelt als intelligenter Trainingspartner passt sich die KI Spielern von 18K bis 9D an. Ideal für alle, die die Grundregeln bereits beherrschen und ihr Spiel verbessern möchten.
- IHR EMOTIONALER AI-BEGLEITER: Eiliko ist mehr als nur ein Anhänger, es ist ein charismatischer KI-Freund. Mit einem dynamischen LED-Bildschirm, der eine Vielzahl von animierten Gesichtern und Ausdrucksformen anzeigt, reagiert er auf Ihre Interaktionen mit einzigartiger Persönlichkeit und Charme.
- NIEDLICHER BEGLEITER: Eilik ist der ideale Begleiter für Kinder und Erwachsene, die Haustiere, Spiele und intelligente Roboter lieben. Mit vielen Emotionen, Bewegungen und interaktiven Funktionen.
- 【XL-Größe für gedeihende Pflanzen】Geben Sie Ihren Pflanzen den Raum, den sie verdienen! Unser verbessertes, großes 13,7 cm großes Design bietet Platz für Pflanzen mit einem Durchmesser von bis zu 8,9 cm und damit deutlich mehr Platz für Wurzelwachstum und Pflanzengesundheit im Vergleich zu kleineren, veralteten Modellen. Die Produktabmessungen betragen 13,6 x 13,6 x 13,2 cm und das Gerät wiegt nur 355 g.
- V28 Update - JETZT MIT NEUEN FUNKTIONEN! Als Reaktion auf das Ladeproblem von Loona haben wir das automatische Aufladen 2.0 verbessert. Diese Optimierung hilft Loona, die Ladewege in verschiedenen Szenarien zu erkennen und anzupassen, um die Erfolgsquote beim automatischen Aufladen zu erhöhen. Mobile Hotspots können sich mit Loona verbinden und überwinden WLAN-Einschränkungen, sodass Sie jederzeit und überall mit Loona interagieren können.
- Die besten Bücher rund um KI & Robotik!
- Die besten KI-News kostenlos per eMail erhalten!
- Zur Startseite von IT BOLTWISE® für aktuelle KI-News!
- IT BOLTWISE® kostenlos auf Patreon unterstützen!
- Aktuelle KI-Jobs auf StepStone finden und bewerben!
- Künstliche Intelligenz: Dem Menschen überlegen – wie KI uns rettet und bedroht | Der Neurowissenschaftler, Psychiater und SPIEGEL-Bestsellerautor von »Digitale Demenz«
Du hast einen wertvollen Beitrag oder Kommentar zum Artikel "Cadence Verisium: KI-gestützte Verifikation beschleunigt Debug im Chipdesign" für unsere Leser?
#Sophos
#AmazonPrime
#Bestseller
Es werden alle Kommentare moderiert!
Für eine offene Diskussion behalten wir uns vor, jeden Kommentar zu löschen, der nicht direkt auf das Thema abzielt oder nur den Zweck hat, Leser oder Autoren herabzuwürdigen.
Wir möchten, dass respektvoll miteinander kommuniziert wird, so als ob die Diskussion mit real anwesenden Personen geführt wird. Dies machen wir für den Großteil unserer Leser, der sachlich und konstruktiv über ein Thema sprechen möchte.
Du willst nichts verpassen?
Du möchtest über ähnliche News und Beiträge wie "Cadence Verisium: KI-gestützte Verifikation beschleunigt Debug im Chipdesign" informiert werden? Neben der E-Mail-Benachrichtigung habt ihr auch die Möglichkeit, den Feed dieses Beitrags zu abonnieren. Wer natürlich alles lesen möchte, der sollte den RSS-Hauptfeed oder IT BOLTWISE® bei Google News wie auch bei Bing News abonnieren.
Nutze die Google-Suchmaschine für eine weitere Themenrecherche: »Cadence Verisium: KI-gestützte Verifikation beschleunigt Debug im Chipdesign« bei Google Deutschland suchen, bei Bing oder Google News!