Rückblick 2021. Innovation in der Verifizierung

Wie wir letztes Jahr festgelegt haben, werden wir die Januar-Ausgabe dieses Blogs nutzen, um einen Rückblick auf die Papiere zu werfen, die wir letztes Jahr besprochen haben. Anfang letzten Jahres haben wir Jim Hogan und den Nutzen seiner Erkenntnisse verloren, aber wir haben mit Raúl Camposano (einem weiteren Freund von Jim) einen neuen und ebenfalls bekannten Experten gewonnen. Paul (GM, Verification bei Cadence), Raúl (Silicon Catalyst, Unternehmer, ehemaliger CTO von Synopsys) und ich sind bereit, diese Serie bis 2022 und darüber hinaus fortzusetzen. Feedback ist wie immer willkommen.

Die Picks 2021

Dies sind die Blogs in der Reihenfolge Januar bis Dezember. Alle haben gute Treffer erzielt. Am heißesten war die Retrospektive, die für mich den Eindruck erweckte, dass auch Sie wissen wollten, was andere am interessantesten fanden 😀. In diesem Jahr stachen „Finding Large Coverage Holes“ und „Agile and Verification“ hervor, gefolgt von „Side Channel Analysis“ und „Instrumenting Post Silicon Validation“. Ziemlich gute Indikatoren dafür, wo Sie nach neuen Ideen suchen.

Retrospektive 2020

Große Abdeckungslöcher finden

Reduzieren der Kompilierungszeit in der Emulation

Agilität und Verifizierung, Validierung

Fuzzing zur Validierung der SoC-Sicherheit

Neuronale Netze und CR-Tests

Instrumentierung der Post-Silizium-Validierung

Seitenkanalanalyse bei RTL

Eine ISA-ähnliche Beschleunigerabstraktion

Speicherkonsistenzprüfungen bei RTL

Lernbasierte Machtmodellierung

Skalierbares konkolisches Testen

Pauls Ansicht

Ich genieße diesen Blog wirklich; Ich kann nicht glauben, dass es schon 2 Jahre her ist. Es ist für mich erstaunlich, wie Bernard jeden Monat etwas Neues und Interessantes zu finden scheint. Als wir diesen Blog ins Leben gerufen haben, war es unsere Absicht, interessante Forschungsergebnisse zu teilen und zu würdigen, aber in der Praxis haben die Beiträge direkten Einfluss auf die Roadmap von Cadence bei der Verifizierung. Was meiner Meinung nach der ultimative Ausdruck der Wertschätzung ist.

Das größte Thema, das ich in unseren Blogs 2021 gesehen habe, war die Steigerung der Abstraktion. Dies ist, wie bereits in den letzten 30 Jahren, der größte Hebel zur Produktivitätssteigerung. Obwohl, ich sollte das wahrscheinlich qualifizieren domänenspezifisch Abstraktion. In der Vergangenheit waren Abstraktionen unabhängig von der Anwendung – vom Polygon über das Gate bis zur Netzliste und RTL. Jetzt fragmentieren die Abstraktionen oft – ISA bis ILA zur Beschleunigerverifizierung im September-Blog. Zuordnung von Verhaltensaxiomen auf hoher Ebene zu SystemVerilog zur Überprüfung der Speicherkonsistenz im Oktober-Blog. Verilog an Chisel für die agile CPU-Verifizierung im April-Blog. Behauptungen zur Verallgemeinerung von Simulationssätzen zur Sicherheitsüberprüfung im Mai-Blog. Und dann waren einige Abstraktionen natürlich weiterhin domänenunabhängig: Gate-Level zu C++ für die Leistungsmodellierung auf Systemebene im November-Blog. Berichterstattung zum Text-Tagging im Februar-Blog.

Das andere Thema, das weiterhin durchscheinte, ist die Frage, wie Innovation an der Schnittstelle verschiedener Fähigkeiten und Perspektiven entsteht. Der Februar-Blog über die Nutzung von Dokumentenklassifizierungsalgorithmen zum Auffinden von Abdeckungslücken ist ein großartiges Beispiel in diesem Jahr. Frühe ML-Methoden aus den 1980er Jahren wurden im Juni-Blog wiederentdeckt und erneut auf die CPU-Verifizierung angewendet. Spieltheorie zur Optimierung der FPGA-Kompilierungszeiten in der Emulation im März-Blog. Es war großartig zu sehen, wie Bernard dieses Prinzip dieses Jahr in unsere eigene Papierauswahl aufnahm und in wenigen Monaten von der „Funktionsüberprüfung“ abwich und sich Themen wie Stromversorgung, Sicherheit und elektrischen Fehlern zuwandte. Es hilft uns, unsere eigenen Verbindungen zwischen zwei verschiedenen Bereichen herzustellen.

Wir freuen uns darauf, unsere zufällige Überprüfung auch in diesem Jahr fortzusetzen!

Raúls Ansicht

Ohne uns auf einen bestimmten Bereich zu konzentrieren, haben wir von Juni bis Dezember viele interessante Themen in der Verifizierung angesprochen. Die beiden beliebtesten waren „Embedded Logic to Detect Flipped Flops“ (Hardwarefehler) und „Assessing Power-Side Channel Leakage at the RTL-Level“. Ein weiterer RTL-Level-Artikel befasste sich mit der Speicherkonsistenz. Auf einer noch höheren Ebene haben wir uns zur Verifizierung Abstraktionen auf Befehlsebene angesehen. Wir hatten auch die obligatorischen Papiere zu ML/NN, eines zur Generierung besserer pseudozufälliger Tests, das andere zur Erstellung genauer Leistungsmodelle von IP. Schließlich befasst sich unser Dezember-Tipp zu Concolic Testing, um schwer zu aktivierende Zweige zu erreichen, auch mit der Erhöhung der Testabdeckung.

Einer der Bereiche, auf die wir uns in diesem Blog konzentrieren, ist die Marktfähigkeit; Methodenpapiere, Grundlagenpapiere, Erweiterungen bestehender Ansätze und zu kleine Nischen kommen aus unterschiedlichen Gründen nicht in Frage. Mit den technischen Vorzügen hat das natürlich wenig zu tun. Einige der vorgestellten Forschungsergebnisse sind reif für eine Übernahme, z. B. der Einsatz von ML/NN zur Verbesserung verschiedener Aufgaben in der EDA. Bei einigen handelt es sich um Methoden, z. B. um eine Emulationsinfrastruktur. Einige sind grundlegender, z. B. Abstraktionen auf höherer Ebene. Andere sind interessante Nischen, zum Beispiel die Seitenkanalleckage. Aber sie sind alle forschungswürdig und das Lesen der Artikel war gut investierte Zeit!

Meine Sicht

Wir drei hatten eine lebhafte Diskussion darüber, welchem ​​Grundsatz (falls überhaupt) ich bei der Auswahl der Arbeiten folge. Sicherlich in einem großen Forum veröffentlicht. Wie Paul sagt, war es so etwas wie ein zufälliger Spaziergang durch die Themen. Ich würde gerne Vorschläge von Lesern erhalten, die uns bei unserer Auswahl helfen. Basierend auf den Treffern gibt es viele von Ihnen, aber Sie sind offensichtlich schüchtern, wenn es darum geht, Ihre Ideen zu teilen. Vielleicht wäre eine private E-Mail an mich einfacher – info@findthestory.net.

• Ich interessiere mich besonders für schwierige technische Probleme, mit denen Sie ständig konfrontiert sind
• Wenn Sie können (nicht erforderlich), Geben Sie einen Verweis auf eine Arbeit zum Thema an. Dies könnte in jedem Forum veröffentlicht werden.
• Ich interessiere mich nicht so sehr für gelöste Probleme – wie Sie mithilfe eines Anbietertools dafür gesorgt haben, dass etwas in Ihrem Verifizierungsprozess funktioniert. Es sei denn, Sie glauben, dass Ihr Beispiel eine grundsätzlich nützliche Funktion aufweist, die über Ihre Anwendung hinaus verallgemeinert werden kann.

In der Zwischenzeit werden wir unseren Rundgang fortsetzen, ergänzt durch Themen, von denen wir hören, dass sie weiterhin sehr aktuell sind – Kohärenzprüfung, Sicherheit, Abstraktion

Teile diesen Beitrag über: Quelle: https://semiwiki.com/eda/306830-2021-retrospective-innovation-in-verification/