Retrospektywa 2021. Innowacje w weryfikacji

Jak ustaliliśmy w zeszłym roku, w styczniowym numerze tego bloga będziemy wracać do artykułów, które recenzowaliśmy w zeszłym roku. Na początku ubiegłego roku straciliśmy Jima Hogana i korzyści wynikające z jego spostrzeżeń, ale zyskaliśmy nowego, a także dobrze znanego eksperta w osobie Raúla Camposano (kolejnego przyjaciela Jima). Paul (GM, Verification w Cadence), Raúl (Silicon Catalyst, przedsiębiorca, były dyrektor ds. technicznych Synopsys) i ja jesteśmy gotowi kontynuować tę serię do roku 2022 i później. Jak zawsze, opinie mile widziane.

Wybory na rok 2021

Oto blogi w kolejności od stycznia do grudnia. Wszyscy otrzymali dobre trafienia. Najgorętsza ze wszystkich była retrospektywa, która zasugerowała mi, że Ty też chcesz wiedzieć, co inni uważają za najciekawsze 😀. W tym roku wyróżniono „Finding Large Coverage Holes” oraz „Agile and Verification”, a następnie „Side Channel Analysis” i „Instrumenting Post Silicon Validation”. Całkiem dobre wskaźniki tego, gdzie szukasz nowych pomysłów.

Retrospektywa z 2020 roku

Znajdowanie dużych dziur w zasięgu

Skrócenie czasu kompilacji w emulacji

Agile i weryfikacja, walidacja

Fuzzing w celu sprawdzenia bezpieczeństwa SoC

Sieci neuronowe i testowanie CR

Walidacja oprzyrządowania po krzemie

Analiza kanału bocznego w RTL

Abstrakcja akceleratora podobna do ISA

Sprawdzanie spójności pamięci w RTL

Modelowanie mocy oparte na uczeniu się

Skalowalne testy Concolic

Pogląd Pawła

Naprawdę podoba mi się ten blog; Nie mogę uwierzyć, że to już 2 lata. Zadziwiające jest dla mnie, jak Bernard co miesiąc znajduje coś nowego i interesującego. Naszą intencją, gdy założyliśmy tego bloga, było po prostu podzielenie się ciekawymi badaniami i docenienie ich, ale w praktyce artykuły miały bezpośredni wpływ na plan działania Cadence w zakresie weryfikacji. Myślę, że jest to najwyższy wyraz uznania.

Najważniejszym tematem, jaki zauważyłem na naszych blogach w 2021 r., było podnoszenie abstrakcji. Podobnie jak miało to miejsce przez ostatnie 30 lat, jest to nadal największa dźwignia poprawy produktywności. Chociaż prawdopodobnie powinienem to zakwalifikować specyficzne dla domeny abstrakcja. Historycznie rzecz biorąc, abstrakcje były niezależne od aplikacji – wielokąt do bramy do listy sieci do RTL. Teraz abstrakcje często ulegają fragmentacji – ISA do ILA w celu weryfikacji akceleratora we wrześniowym blogu. Mapowanie aksjomatów behawioralnych wysokiego poziomu do SystemVerilog w celu weryfikacji spójności pamięci w październikowym blogu. Verilog do Chisel w celu sprawnej weryfikacji procesora w kwietniowym blogu. Twierdzenia uogólniające zestawy symulacji do weryfikacji bezpieczeństwa w majowym blogu. I oczywiście niektóre abstrakcje nadal były niezależne od domeny: poziom bramy do C++ w celu modelowania mocy na poziomie systemu w listopadowym blogu. Omówienie tagowania tekstu w lutowym blogu.

Drugim tematem, który nadal rzucał się w oczy, jest sposób, w jaki innowacja pojawia się na styku różnych umiejętności i perspektyw. Świetnym tegorocznym przykładem jest lutowy blog na temat wykorzystania algorytmów klasyfikacji dokumentów do wyszukiwania luk w zabezpieczeniach. W czerwcowym blogu odkryto na nowo wczesne metody ML z lat 1980. i ponownie zastosowano je do weryfikacji procesora. Teoria gier wykorzystana do optymalizacji czasu kompilacji FPGA w emulacji w marcowym blogu. Wspaniale było widzieć, jak Bernard wziął tę zasadę do naszego tegorocznego wyboru artykułów, za kilka miesięcy odwracając się od „weryfikacji funkcjonalnej” i skupiając się na tematach takich jak zasilanie, bezpieczeństwo i błędy elektryczne. Pomaga nam to w samodzielnym łączeniu kropek pomiędzy dwiema różnymi domenami.

Nie możemy się doczekać, aby w tym roku ponownie kontynuować naszą losową weryfikację!

Pogląd Raula

Nie skupiając się na żadnym konkretnym obszarze, od czerwca do grudnia poruszyliśmy w Weryfikacji wiele ciekawych tematów. Dwa najpopularniejsze to: Embedded Logic to Detect flip flops (błędy sprzętowe) oraz Ocena wycieków w kanale zasilania na poziomie RTL. Inny artykuł na poziomie RTL dotyczył spójności pamięci. Na jeszcze wyższym poziomie przyjrzeliśmy się abstrakcji na poziomie instrukcji w celu weryfikacji. Mieliśmy także obowiązkowe artykuły na temat ML/NN, jeden dotyczący generowania lepszych testów pseudolosowych, drugi dotyczący budowania dokładnych modeli mocy IP. Wreszcie, nasz grudniowy wybór dotyczący testowania Concolic w celu dotarcia do trudno aktywowanych gałęzi również uwzględnia zwiększenie zasięgu testów.

Jednym z obszarów, na którym skupiamy się na tym blogu, jest zbywalność; dokumenty metodologiczne, artykuły podstawowe, rozszerzenia istniejących podejść i zbyt małe nisze – wszystkie nie kwalifikują się z różnych powodów. Ma to oczywiście niewiele wspólnego z zaletami technicznymi. Niektóre z przedstawionych badań są gotowe do przyjęcia, np. wykorzystanie ML/NN do usprawnienia różnych zadań w EDA. Kilka z nich dotyczy metodologii, np. infrastruktury emulacji; niektóre są bardziej podstawowe, takie jak abstrakcje wyższego poziomu. Inne to ciekawe nisze, na przykład wyciek z kanału bocznego. Ale wszyscy oni są warci badań, a czytanie artykułów było dobrze spędzonym czasem!

Mój widok

We trójkę odbyliśmy ożywioną dyskusję na temat tego, jaką zasadą (jeśli w ogóle) kieruję się przy wyborze artykułów. Z pewnością opublikowane na ważnym forum. Jak powiedział Paul, było to coś w rodzaju przypadkowego przechodzenia przez tematy. Chciałbym uzyskać sugestie od czytelników, które pomogą nam dokonać wyboru. Sądząc po hitach jest Was sporo, jednak widać, że jesteście nieśmiałi w dzieleniu się swoimi pomysłami. Może prywatny e-mail do mnie byłby łatwiejszy – info@findthestory.net.

• Szczególnie interesują mnie trudne problemy techniczne, z którymi stale się spotykasz
• Jeśli możesz (nie jest to wymagane), podaj odnośnik do artykułu na ten temat. Można to opublikować na dowolnym forum.
• Nie interesują mnie rozwiązane problemy – to, jak użyłeś narzędzia dostawcy, aby coś zadziałało w procesie weryfikacji. Chyba że uważasz, że Twój przykład wykazuje pewne zasadniczo przydatne możliwości, które można uogólnić poza Twoją aplikację.

W międzyczasie będziemy kontynuować nasz przypadkowy spacer, wzbogacony tematami, które, jak słyszymy, są nadal bardzo aktualne – sprawdzanie spójności, bezpieczeństwo, abstrakcja

Udostępnij ten post przez: Źródło: https://semiwiki.com/eda/306830-2021-retrospective-innovation-in-verification/