2021-es visszatekintés. Innováció a hitelesítésben

A tavalyi évben megállapítottuk, hogy a blog januári számában visszatekintünk a tavaly áttekintett cikkekre. Tavaly év elején elveszítettük Jim Hogant és belátásának hasznát, de Raúl Camposano-ban (Jim másik barátjában) egy új és szintén jól ismert szakértőt szereztünk. Paul (GM, Verification at Cadence), Raúl (Silicon Catalyst, vállalkozó, korábbi Synopsys CTO) és én készek vagyunk folytatni ezt a sorozatot 2022-ig és azon túl is. Mint mindig, szívesen fogadjuk a visszajelzéseket.

A 2021-es választások

Ezek a blogok sorrendben, januártól decemberig. Mindegyik jó találatot kapott. A legforróbb a retrospektív volt, ami azt sugallta számomra, hogy te is szeretnéd tudni, hogy mások mit találtak a legérdekesebbnek 😀. Idén kiemelkedett a „Nagy lefedettségi lyukak keresése” és az „Agilis és ellenőrzés”, majd az „Oldalcsatorna-elemzés” és az „Instrumenting Post Silicon Validation” következett. Elég jó mutatói annak, hogy hol keresel új ötleteket.

2020-as visszatekintés

Nagy fedőlyukak keresése

A fordítási idő csökkentése az emulációban

Agilis és ellenőrzés, érvényesítés

Fuzzing az SoC biztonság érvényesítéséhez

Neurális hálózatok és CR tesztelése

Műszerezés szilícium utáni érvényesítés

Oldalcsatorna elemzés az RTL-nél

Egy ISA-szerű Accelerator Absztrakció

Memóriakonzisztencia ellenőrzések az RTL-nél

Tanulás alapú teljesítménymodellezés

Skálázható Concolic tesztelés

Pál nézete

Nagyon élvezem ezt a blogot; Nem hiszem el, hogy már 2 éve. Elképesztő számomra, ahogy Bernard minden hónapban talál valami újat és érdekeset. A blog elindításakor az volt a szándékunk, hogy megosszuk és értékeljük az érdekes kutatásokat, de a gyakorlatban a dolgozatok közvetlenül befolyásolták Cadence verifikációs ütemtervét. Ami szerintem a legnagyobb elismerés.

A 2021-es blogjainkban a legnagyobb téma az absztrakció növelése volt. Az elmúlt 30 évhez hasonlóan továbbra is ez a termelékenység javításának legnagyobb eszköze. Bár valószínűleg ezt kellene minősítenem domain-specifikus absztrakció. Történelmileg az absztrakciók függetlenek voltak az alkalmazástól – sokszögtől kapuig az RTL hálózatlistájáig. Most az absztrakciók gyakran töredezettek – az ISA-tól az ILA-ig a gyorsító ellenőrzéséhez a szeptemberi blogban. Magas szintű viselkedési axiómák leképezése a SystemVerilogra a memória konzisztenciájának ellenőrzéséhez az októberi blogban. Verilog to Chisel agilis CPU-ellenőrzésért az áprilisi blogban. A biztonsági ellenőrzés szimulációira általánosító állítások a májusi blogban. Aztán persze néhány absztrakció továbbra is tartomány-agnosztikus volt: Gate-level to C++ a rendszerszintű teljesítménymodellezéshez a novemberi blogban. Lefedettség a szöveges címkézésről a februári blogban.

A másik téma, amely továbbra is átvilágított, hogy az innováció hogyan jelenik meg a különböző készségek és nézőpontok metszéspontjában. Az idei év egyik nagyszerű példája a februári blog, amely a dokumentumosztályozási algoritmusok felhasználásáról szól a lefedettségi lyukak megtalálása érdekében. Az 1980-as évek korai ML-módszereit újra felfedezték és újra alkalmazták a CPU-ellenőrzéshez a júniusi blogban. A játékelmélet az FPGA fordítási idejének optimalizálására használt emulációban a márciusi blogban. Nagyszerű volt látni, hogy Bernard ezt az elvet bevonta idén saját papírválogatásunkba, néhány hónapon belül a „működési ellenőrzés” helyett olyan témák felé terelődött, mint az energiaellátás, a biztonság és az elektromos hibák. Segít nekünk abban, hogy saját pontokat kapcsoljunk össze két különböző tartomány között.

Várjuk, hogy idén is folytathassuk véletlenszerű ellenőrzésünket!

Raúl nézete

Anélkül, hogy konkrét területre összpontosítanánk, júniustól decemberig számos érdekes témát érintettünk az Ellenőrzésben. A két legnépszerűbb az Embedded Logic to Detect flipped Flops (hardverhibák) és az Assessing Power-Side Channel Leakage az RTL-szinten. Egy másik RTL-szintű cikk a memória konzisztenciájával foglalkozott. Még magasabb szinten az Utasítás szintű absztrakciókat vizsgáltuk ellenőrzés céljából. Megvoltak a kötelező papírok is az ML/NN-ről, az egyik a jobb pszeudo-véletlen tesztek generálására, a másik pedig az IP pontos teljesítménymodelljének felépítésére. Végezetül, decemberi választásunk a Concolic Testing nehezen aktiválható fiókok elérése érdekében szintén a tesztek lefedettségének növelésével foglalkozik.

Az egyik terület, amelyre ezen a blogon összpontosítunk, a piacképesség; a módszertani dokumentumok, az alapozó dokumentumok, a meglévő megközelítések kiterjesztése és a túl kicsi rések különböző okokból nem felelnek meg. Ennek természetesen nem sok köze van a technikai érdemekhez. A bemutatott kutatások egy része megérett az átvételre, például az ML/NN használata az EDA különböző feladatainak javítására. Néhány a módszertanra vonatkozik, pl. egy emulációs infrastruktúra; egyesek alaposabbak, mint például a magasabb szintű absztrakciók. Mások érdekes rések, például az oldalsó csatorna szivárgása. De mindannyian érdemesek kutatásra, és a papírok elolvasása jól eltöltött idő volt!

Az én nézetem

Hárman élénk megbeszélést folytattunk arról, hogy milyen elvet (ha van ilyen) követek a papírok kiválasztásánál. Nyilvánvalóan jelentős fórumon jelent meg. Ahogy Pál mondja, ez valami véletlenszerű séta a témák között. Szeretnék javaslatokat kapni az olvasóktól, hogy segítsünk a választásunkban. A slágerek alapján sokan vagytok, de szemlátomást félénken osztjátok meg ötleteiteket. Talán egyszerűbb lenne egy privát e-mailt küldeni nekem – info@findthestory.net.

• Különösen érdekelnek azok a nehéz technikai problémák, amelyekkel folyamatosan szembesülsz
• Ha teheti (nem kötelező), hivatkozást adjon a témával foglalkozó dolgozathoz. Ezt bármelyik fórumon közzé lehet tenni.
• Engem nem annyira a megoldott problémák érdekelnek – hogyan használt valamilyen szállítói eszközt annak érdekében, hogy valami működjön az ellenőrzési folyamatban. Kivéve, ha úgy gondolja, hogy a példája alapvetően hasznos képességet mutat, amely általánosítható az alkalmazásán túl.

Addig is folytatjuk véletlenszerű sétánkat, kibővítve olyan témákkal, amelyekről hallottuk, hogy továbbra is nagyon aktuálisak – koherencia-ellenőrzés, biztonság, absztrakció

Oszd meg ezt a bejegyzést ezen keresztül: Forrás: https://semiwiki.com/eda/306830-2021-retrospective-innovation-in-verification/