Erreichen eines schnelleren Abschlusses der Designverifizierung

Bei großen Chip-Designprojekten kann der Aufwand für die Logikverifizierung größer sein als der Designaufwand und bis zu 70 % der Projektzeit in Anspruch nehmen, basierend auf Daten aus dem 2022 Wilson-Forschungsgruppe Ergebnisse. Leider ist die Erfolgsrate für das erste Silizium in den letzten 31 Jahren von 24 Prozent auf nur 8 Prozent gesunken, was zu einer weiteren Drehung führte, um die Fehler zu beheben, was die Unternehmen Zeitverluste bei der Markteinführung kostete und sicherlich ihre Umsatzpläne beeinträchtigte. Eine bessere Verifizierung würde sicherlich den Erfolg des ersten Siliziums verbessern, aber das ist leichter gesagt als getan.

Einige andere ernüchternde Zahlen aus der Studie der Wilson Research Group:

• ASIC – 24 % Erfolg beim ersten Mal, 36 % pünktlich fertig
• FPGA – 16 % erreichen null Fehlerausbrüche, 30 % werden pünktlich fertig

Die Designverifizierung hat viele schwierige Aufgaben: Debuggen, Erstellen von Tests, dann Ausführen von Engines, Testbench-Entwicklung und Testplanung. Idealerweise möchte Ihr Team die Durchlaufzeiten minimieren, den Verifizierungsabschluss mit den wenigsten Mitarbeitern und Rechenressourcen erreichen, die Sicherheitsvorschriften einhalten und wissen, wann die Designqualität hoch genug ist, um die Verifizierung zu beenden, und gleichzeitig den Projektplan einhalten.

Ich habe kürzlich ein Update von Darron May, Experte für Designverifizierung bei Siemens EDA, erhalten, um von etwas zu hören, das gerade angekündigt wurde Quest Verifizierungs-IQ. Bei ihrem Ansatz dreht sich alles um datengesteuerte Verifizierung, die auf Rückverfolgbarkeit, Zusammenarbeit und Analysen basiert, die von KI/ML unterstützt werden. Herkömmliche Analysen boten nur begrenzte Produktivität und Einblicke in die Beschreibung und Diagnose von logischem Verhalten, während Big-Data-gesteuerte Analysen mit KI/ML vorausschauende und vorgeschriebene Maßnahmen zur Verifizierung bieten. Software- und Hardwareteams werden produktiver, indem sie mithilfe von zusammenarbeiten CI (Kontinuierliche Integration), Agil Methoden, ALM (Application Lifecycle Management), Cloud-basiertes Design und die Anwendung von KI/ML-Techniken. Sicherheitskritische Branchen benötigen die Rückverfolgbarkeit zwischen Anforderungen, Implementierung und Verifizierung, wie in Industriestandards wie ISO 26262 und DO-254 definiert.

Hier ist das Gesamtbild, wie Quest Verification IQ alle Daten aus verschiedenen Verifikations-Engines zusammen mit einem ALM-Tool zu einem datengesteuerten Fluss verbindet.

Die Abdeckungsdaten werden aus der Logiksimulation (diese), Emulation und Prototyping (Veloce), AMS (Symphonie), Formell (OneSpin), statisch und FuSa. Die ML-Funktion analysiert all diese Daten, um Muster vorherzusagen und Lücken aufzudecken, Ursachen aufzuzeigen und dann Maßnahmen zur Verbesserung der Abdeckung vorzuschreiben. Das gezeigte ALM ist Polarion von Siemens, obwohl Sie ein anderes ALM verwenden könnten, genauso wie Sie Ihre bevorzugten Verifikations-Engines verwenden können.

Questa Verification IQ ist ein browserbasiertes Framework, das einen Prozessleitfaden enthält, damit Sie mithilfe des Lebenszyklusmanagements einen sicherheitskritischen Ablauf erstellen können, um alle Anforderungen zu planen und zu verfolgen. Der Regressionsnavigator ermöglicht Ihrem Team, Tests zu erstellen und auszuführen, die Ergebnisse zu überwachen und einen vollständigen Verifizierungsverlauf zu haben. Mit dem Coverage Analyzer wissen Sie, wie vollständig Ihre Abdeckung für Code, Funktionsblöcke und Testpläne ist. Schließlich bietet Ihnen die vorgestellte Datenanalyse eine Metrikplattform, die Projekt-Dashboards verwendet und Cross-Analytics bereitstellt.

Das webbasierte Framework lässt sich für jede Größe von Elektronikprojekten skalieren, und Sie müssen keine Software installieren oder sich darum kümmern, Ihr Betriebssystem auf dem neuesten Stand zu halten. Es unterstützt auch öffentliche, private oder hybride Cloud-Setups. Durch die Anwendung von AI/ML wird der Verifizierungsprozess beschleunigt, während sich der Debugging-Aufwand beschleunigt, da die Analyse der Grundursache hilft, Verbesserungsmöglichkeiten zu ermitteln.

Ich habe Darron May ein paar klärende Fragen gestellt.

F: Kann ich Questa Verification IQ mit jedem EDA-Anbieter-Tool und ALM kombinieren?

A: Questa Verification IQ unterstützt ALM-Tools und -Engines über einen auf Standards basierenden Ansatz. Es verbindet sich mit ALM-Tools über Open Services for Lifecycle Collaboration (OSLC), sodass jedes Tool, das den Standard unterstützt, wie Doors next oder Siemens Polarion und Teamcenter, verwendet werden kann. Jede Engine kann von Questa Verification IQ gestartet werden, und auch hier bieten wir Unterstützung für die Abdeckung über den Unified Coverage Interoperability Standard (UCIS).

F: Wie lässt sich dieser Ansatz mit Synopsys DesignDash vergleichen?

A: Synopsys DesignDash konzentriert sich auf ML für Designdaten, während Questa Verification IQ sich auf datengesteuerte Verifizierung mithilfe von Analysen, einschließlich ML, konzentriert, um den Abschluss der Verifizierung zu beschleunigen, Durchlaufzeiten zu verkürzen und maximale Prozesseffizienz zu bieten. Questa Verification IQ bietet Anwendungen, die für teambasiertes kollaboratives Verifizierungsmanagement in einem Browser-basierten Framework mit zentralisiertem Zugriff auf Daten benötigt werden.

F: Wie lässt sich dieser Ansatz mit Cadence Verisium vergleichen?

A: Cadence Verisium konzentriert sich nur auf ML-unterstützte Verifizierung. Im Vergleich dazu bietet Siemens Questa Verification IQ eine vollständige datengesteuerte Verifikationslösung, die auf Analytics, Collaboration und Traceability basiert. Verification Management wird in einem browserbasierten Tool mit Anwendungen bereitgestellt, die auf Collaboration basieren. Coverage Analyzer bringt das branchenweit erste kollaborative Coverage-Closing-Tool mit analytischer Navigation, unterstützt durch ML. Question Verification IQ verbindet sich über OSLC mit Siemens Polarion und bietet eine enge digitale Thread-Verfolgbarkeit mit Application Lifecycle Management ohne Änderung des UI-Kontexts, wodurch die Leistungsfähigkeit von ALM zur Hardware-Verifizierung genutzt wird.

Zusammenfassung

Ich bin immer wieder beeindruckt von neuen EDA-Tools, die eine komplexe Aufgabe einfacher machen, indem sie intelligenter arbeiten und Ingenieure nicht mehr Stunden manueller Arbeit aufwenden müssen. Mit den frühen Unterstützungen von Questa Verification IQ durch bekannte Unternehmen wie Arm und Nordic Semiconductor sieht es so aus, als hätte Siemens EDA etwas Überzeugendes hinzugefügt, das Verifikationsteams in Betracht ziehen sollten.

Verwandte Blogs

Teile diesen Beitrag über:

• SEO-gestützte Content- und PR-Distribution. Holen Sie sich noch heute Verstärkung.
• Platoblockkette. Web3-Metaverse-Intelligenz. Wissen verstärkt. Hier zugreifen.
• Quelle: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/