Retrospectiva 2023. Inovație în verificare - Semiwiki

Republicat de Platon

Urmaritori: 0

Ca de obicei, în ianuarie începem cu o privire în urmă la lucrările pe care le-am revizuit anul trecut. Paul Cunningham (GM, Verificare la Cadence), Raúl Camposano (Silicon Catalyst, antreprenor, fost CTO Synopsys și acum CTO Silvaco) și cu mine continuăm seria noastră de idei de cercetare. Ca întotdeauna, feedback binevenit. Plănuim să lansăm o serie live anul acesta pentru a dezbate idei și subiecte mai ample și pentru a obține feedback-ul tău. Detalii de urmat!

Retrospectiva 2023

Alegerile din 2023

Acestea sunt blogurile pe care le-am postat de-a lungul anului, sortate după popularitate. Am avut o medie de 12.7 mii de interacțiuni pe blog, o creștere semnificativă față de anul trecut, pe care o considerăm ca o indicație că vă bucurați în continuare de recenziile noastre despre cercetările curente în verificare. Liderul nu a fost surprinzător, aplicând LLM-uri la revizuirea automată a codului la aproape 17 de angajamente. O secundă apropiată folosește ML pentru a dezvolta abstracții de model. De fapt, primele 4 bloguri din 2023 erau pe toate aplicațiile AI/ML. Rețelele Petri și-au făcut apariția din nou în acest an, aici pentru validarea protocoalelor DRAM care evoluează rapid. Folosirea hardware-ului dedicat pentru speculații în simulare și o metodă de a găsi anomalii au completat lista. Retrospectiva pentru 2022 s-a descurcat la fel de bine ca de obicei, dar a fost umbrită de interesul față de alte lucrări de-a lungul anului. Este un pariu sigur că vom analiza mai multe aplicații de AI/ML în 2024!

punctul de vedere al lui Paul

Încă un an zboară și 49 de lucrări citite de când am început blogul în noiembrie 2019! Atunci ne-am gândit că ar fi o modalitate excelentă de a reuni comunitatea noastră de verificare și de a ne arăta aprecierea pentru investițiile continue în cercetarea de verificare la instituțiile academice din întreaga lume.

Ceea ce nu am prezis a fost modul în care citirea tuturor acestor lucrări ar inspira noi investiții și inovații la Cadence. Scrierea acestui blog m-a învățat că, chiar și la un nivel executiv în inginerie, a rămâne conectat la cercetarea la nivel de sol și a citi în mod regulat lucrări este benefică pentru afaceri. Deci vă mulțumesc cititorilor și vă mulțumesc Bernard!

Nu este surprinzător că primele 3 rezultate ale noastre de anul trecut au fost toate lucrările despre utilizarea AI în verificare, una despre AI pentru a automatiza revizuirea codului (legătură), unul pe AI pentru a ajuta la găsirea mai rapidă a erorilor în modelele de nivel înalt SimuLink de dispozitive cu semnal mixt (legătură), și unul despre utilizarea AI pentru a identifica automat ce linie de cod sursă este cauza principală a eșecului testului (legătură). Trebuie neapărat să continuăm să investim în cercetare aici, atât în mediul academic, cât și în lumea comercială. Cumva, în următorul deceniu, trebuie să găsim următorul nostru de 10 ori în productivitatea verificării și este cel mai probabil să vină din AI.

Acestea fiind spuse, strigătul meu personal din 2024 nu este legat de AI. Este pentru două lucrări în simularea logică: una despre paralelizarea simulării folosind execuția speculativă a cozii de evenimente (legătură), iar celălalt privind îmbunătățirea calității distribuției intrărilor randomizate în teste aleatoare constrânse folosind funcții de hashing inteligente (legătură). Eu numesc aceste inovații „la nivel de motor” – care fac elementele de bază din instrumentele EDA fundamental mai bune. De asemenea, trebuie să continuăm cercetarea și inovarea aici. Aceste două lucrări au fost foarte inovatoare, dar nu au avut nimic de-a face cu AI. Să nu uităm să continuăm să investim și în inovații non-AI.

Viziunea lui Raul

Scrierea acestei retrospective în timpul sărbătorilor se ciocnește inevitabil de una dintre nevoile omenirii, care poate fi ridicată la o artă: mâncatul. Examinarea restaurantelor poate împărtăși suficient cu articolele de recenzie pentru a justifica evaluări precum ★★★ excepțional, care merită o călătorie specială, ★★ excelent, merită un ocol, ★ de înaltă calitate, merită o oprire și 😋 excepțional de bun la prețuri moderate. Paul a declarat deja că noastre Recenzia din septembrie a fost o "Subiect stea Michelin”. Voi continua în acest sens, folosind preferințele dumneavoastră (numărul de vizualizări), dragi cititori, ca etalon.

În timp ce blogul de anul trecut a fost în mare parte despre algoritmi cool, cel de anul acesta a fost despre AI / ML și Software (SW). Primele trei articole ★★★ au fost toate despre verificarea SW folosind AI/ML. Blogul cel mai bine cotat (iulie) a fost despre revizuirea codului cu AI generativă, a doua (noiembrie) s-a ocupat de testarea și verificarea software-ului pentru sistemele ciber-fizice folosind modele AI surogat, iar al treilea (Mai) a fost despre detectarea și remedierea erorilor în creșterea Java cu clasificatoare AI. Două dintre aceste trei lucrări folosesc seturi mari de date de la GitHub pentru instruire. Astfel de date nu sunt disponibile public pentru proiectarea hardware (HW); care este, probabil, suficient de diferit de SW pentru a ridica cel puțin întrebarea dacă aceste rezultate pot/vor fi replicate pentru HW. Cu toate acestea, privire la ceea ce face comunitatea SW cu privire la verificare este cu siguranță o sursă de inspirație.

Următoarele trei lucrări, clasificate cu ★★, sunt o colecție eclectică de AI/ML, un algoritm foarte cool și Petri-Nets. Toate se ocupă de verificare în EDA. de septembrie lucrarea a fost o previzualizare despre utilizarea unui LLM (GPT-4) și a unui model de verificare (JasperGold) pentru a traduce limba engleză în System Verilog Assertions (SVA). Urmatorul (iunie) a abordat modul de eșantionare a spațiului de soluție pentru verificarea aleatorie constrânsă uniform (respectarea constrângerilor) – un algoritm cool pentru o problemă grea, din 2014. Ultima contribuție din acest grup (Aprilie) rețele Petri extinse pentru verificarea specificațiilor JEDEC DDR; este educațional atât pentru specificațiile JEDEC, cât și pentru rețelele Petri și descoperă o încălcare a timpului.

Lucrările 7-9, clasate cu ★, se ocupă de verificarea designului analogic, verificarea CPU și execuția SW în paralel. În octombrie am revizuit o lucrare invitată în jurnalul deschis IEEE al Solid-State Circuits Society, pe lângă faptul că este un bun tutorial de proiectare și validare analogică, contribuția principală constă în înlocuirea modelelor de circuite analogice cu modele funcționale pentru a accelera simularea Spice cu 4 ordine de mărime . ziarul din februarie a fost despre utilizarea DNN-urilor pentru a îmbunătăți generatoarele de instrucțiuni aleatorii în verificarea CPU, arătând o reducere a „numărul de simulări cu un factor de 2 sau cam asa ceva” într-un exemplu simplu (IBM Northstar, 5 instrucțiuni). Martie ne-a adus proiectarea completă a unui accelerator HW pentru implementarea Model de execuție a sarcinilor ordonate localizate spațial (SLOT). pentru a exploata paralelismul și speculațiile și pentru aplicații care generează sarcini dinamic în timpul execuției.

Ceea ce ne lasă cu doi 😋 destinatari. În August am revizuit o lucrare din 2013 care a fost pionier în gruparea k-means (2013) pentru detectarea erorilor post siliciu. Si in decembrie ne-am uitat la un subiect foarte important, verificarea securității folosind IFT (Information Flow Tracking) și extinderea acestuia de la nivel de poartă la RTL. Nu este surprinzător că contribuția din decembrie a avut cele mai puține accesări, deoarece cititorii noștri se confruntau probabil cu dilema descrisă inițial.

Evaluările pot fi uneori arbitrare, toate aceste contribuții sunt demne de stele și avansează stadiul tehnicii. Putem fi recunoscători pentru o comunitate de cercetare internațională activă din mediul academic și din industrie care abordează probleme cu adevărat dificile. După preferințele mele personale, puteți ghici...

Distribuie această postare prin: