2023 tagasivaade. Uuendused kontrollimisel – Semiwiki

Taasavaldanud Platon

järgijaid: 0

Nagu tavaliselt jaanuaris, alustame tagasivaatega eelmisel aastal läbi vaadatud paberitele. Paul Cunningham (GM, Verification at Cadence), Raúl Camposano (Silicon Catalyst, ettevõtja, endine Synopsys CTO ja nüüd Silvaco CTO) ja mina jätkame oma uurimisideede sarja. Nagu alati, on tagasiside teretulnud. Plaanime sel aastal alustada otsesaatesarja, et arutleda ideede ja laiemate teemade üle ning saada tagasisidet. Üksikasjad tuleb jälgida!

2023 tagasivaade

2023. aasta valikud

Need on blogid, mida me aasta jooksul postitasime, sorteeritud populaarsuse järgi. Keskmiselt tegime ühe ajaveebi kohta 12.7 17 kaasamist, mis on märkimisväärne kasv eelmise aastaga võrreldes. Peame seda märgiks, et teile meeldivad jätkuvalt meie ülevaated käimasolevate kontrollimisuuringute kohta. Juht polnud üllatav, rakendades LLM-e automaatsele koodiülevaatele peaaegu 4 2023 töövõtu korral. Lähisekund kasutab ML-i mudeli abstraktsioonide väljatöötamiseks. Tegelikult olid 2022. aasta 2024 parimat ajaveebi kõigis AI/ML rakendustes. Petri võrgud ilmusid sel aastal taas, et valideerida kiiresti arenevaid DRAM-protokolle. Spetsiaalse riistvara kasutamine simulatsioonis spekuleerimiseks ja meetod kõrvalekallete leidmiseks täiendas loendit. XNUMX. aasta tagasivaade läks sama hästi kui tavaliselt, kuid seda varjutas aasta jooksul huvi muude paberite vastu. On kindel, et XNUMX. aastal vaatame rohkem AI/ML rakendusi!

Pauli nägemus

Lendab järjekordne aasta ja alates blogi loomisest 49. aasta novembris on loetud 2019 artiklit! Toona arvasime, et see oleks suurepärane viis meie kontrollikogukonna kokkuviimiseks ja tunnustuseks pidevatele investeeringutele üle maailma akadeemilistes asutustes verifitseerimisuuringutesse.

Mida ma ei ennustanud, oli see, kuidas kõigi nende paberite lugemine inspireerib Cadence'is uusi investeeringuid ja uuendusi. Selle ajaveebi kirjutamine on mulle õpetanud, et isegi insenerijuhtimise tasemel on maapealse uurimistööga ühenduses püsimine ja paberite korrapärane lugemine ärile kasulik. Nii et aitäh lugejatele ja aitäh Bernardile!

Pole üllatav, et meie eelmise aasta kolm parimat hitti olid kõik dokumendid AI kasutamise kohta kontrollimisel, üks AI kohta koodi ülevaatuse automatiseerimiseks (link), üks AI-l, mis aitab kiiremini leida vigu segasignaaliga seadmete kõrgetasemelistes SimuLinki mudelites (link) ja üks AI kasutamise kohta, et tuvastada automaatselt, milline lähtekoodi rida on testi ebaõnnestumise algpõhjus (link). Peame kindlasti jätkama investeerimist siinsetesse teadusuuringutesse nii akadeemilises ringkonnas kui ka ärimaailmas. Millegipärast peame järgmise kümnendi jooksul leidma oma järgmise 10-kordse kontrollimise tootlikkuse ja see pärineb suure tõenäosusega AI-st.

Sellegipoolest ei ole minu isiklik hüüd aastast 2024 AI seotud. See on mõeldud kahele loogilise simulatsiooni paberile: üks simulatsiooni paralleelsusest sündmuste järjekorra spekulatiivse täitmise abil (link) ja teine juhuslike sisendite jaotuskvaliteedi parandamise kohta piiratud juhuslikes testides, kasutades nutikaid räsifunktsioone (link). Nimetan neid "mootoritasemel" uuendusteks – EDA tööriistade ehitusplokkide muutmine oluliselt paremaks. Samuti peame siin jätkama teadusuuringuid ja innovatsiooni. Need kaks dokumenti olid väga uuenduslikud, kuid neil polnud tehisintellektiga midagi pistmist. Ärgem unustagem jätkuvalt investeerimast ka tehisintellektiga mitteseotud innovatsiooni.

Raúli nägemus

Selle tagasivaate kirjutamine pühade ajal põrkub paratamatult ühe inimkonna vajadusega, mida võib kunstiks tõsta: söömisega. Restoranide arvustamist jagub ehk piisavalt arvustavate paberitega, et õigustada selliseid hinnanguid nagu ★★★ erakordne, erilist reisi väärt, ★★ suurepärane, tasub ümbersõitu, ★ kõrge kvaliteet, tasub peatuda ja 😋 mõõdukate hindadega erakordselt hea. Paul juba väitis, et meie Septembri ülevaade oli "Michelini tärni teema”. Jätkan selles suunas, kasutades mõõdupuuks teie eelistusi (vaatamiste arvu), kallid lugejad.

Kui eelmise aasta blogis käsitleti suuresti lahedaid algoritme, siis tänavuses umbes AI / ML ja Tarkvara (SW). Kolm parimat ★★★ dokumenti puudutasid SW kontrollimist AI/ML abil. Kõrgeimalt hinnatud blogi (Juuli) käsitles koodi ülevaatamist generatiivse tehisintellektiga, teine (November) tegeles küberfüüsikaliste süsteemide SW testimise ja kontrollimisega, kasutades tehisintellekti asendusmudeleid, ja kolmas (Mai) käsitles tehisintellekti klassifikaatoritega täiustatud Java vigade tuvastamist ja parandamist. Neist kolmest dokumendist kaks kasutavad koolituseks GitHubi suuri andmekogusid. Sellised andmed ei ole riistvara (HW) projekteerimiseks avalikult kättesaadavad; mis on vaieldamatult SW-st piisavalt erinev, et tõstatada vähemalt küsimus, kas neid tulemusi saab/saab HW jaoks korrata. Sellegipoolest on SW kogukonna kontrollimisega seotud tegevuste vaatamine kindlasti inspiratsiooniallikas.

Järgmised kolm artiklit, mille järjestus on ★★, on eklektiline AI/ML, väga lahe algoritm ja Petri-Nets kogumik. Kõik tegelevad EDA kontrollimisega. Septembri oma paber oli eelvaade LLM-i (GPT-4) ja mudelikontrolli (JasperGold) kasutamisest inglise keele System Verilog Assertionsi (SVA) tõlkimiseks. Järgmine (Juuni) käsitles lahendusruumi proovide võtmist piiratud juhusliku kontrollimise jaoks ühtlaselt (vastab piirangutele) – lahe algoritm raske probleemi lahendamiseks, aastast 2014. Viimane panus selles rühmas (Aprill) laiendatud Petri Nets JEDECi DDR-i spetsifikatsioonide kontrollimiseks; see on hariv nii JEDECi spetsifikatsioonide kui ka Petri Netsi kohta ning paljastab ühe ajastuse rikkumise.

Aruanded 7-9, mille järjestus on ★, käsitlevad analoogse disaini kontrollimist, protsessori kontrollimist ja paralleelset SW täitmist. sisse Oktoober vaatasime läbi kutsutud artikli Solid-State Circuits Society IEEE avatud ajakirjas. Lisaks sellele, et see on hea õpetus analoogide kujundamise ja valideerimise kohta, seisneb peamine panus analoogskeemide mudelite asendamises funktsionaalsete mudelitega, et kiirendada Spice'i simulatsiooni 4 suurusjärgu võrra. . Veebruari leht käsitles DNN-ide kasutamist CPU kontrollimisel juhuslike juhiste generaatorite täiustamiseks, näidatessimulatsioonide arv umbes 2 korda” lihtsas näites (IBM Northstar, 5 juhist). Märts tõi meile HW kiirendi täieliku disaini, et rakendada Ruumiliselt paiknevate järjestatud ülesannete (SLOT) täitmise mudel paralleelsuse ja spekulatsioonide ärakasutamiseks ning rakenduste jaoks, mis genereerivad käitusajal dünaamiliselt ülesandeid.

Mis jätab meile kaks 😋 saajat. sisse August vaatasime läbi 2013. aasta artikli, mis oli teerajajaks k-keskmiste klastrite loomisele (2013) ränijärgse vea tuvastamiseks. Ja sisse Detsember vaatlesime väga olulist teemat, turvalisuse kontrollimist IFT-ga (Information Flow Tracking) ja selle laiendamist värava tasemelt RTL-ile. Pole üllatav, et detsembri panus sai kõige vähem tabamust, kuna meie lugejad seisid tõenäoliselt silmitsi algselt kirjeldatud dilemmaga.

Hinnangud võivad mõnikord olla meelevaldsed, kõik need panused on tärni väärilised ja edendavad tehnika taset. Võime olla tänulikud aktiivse rahvusvahelise teadusringkonna eest akadeemilistes ringkondades ja tööstuses, kes tegelevad tõeliselt raskete probleemidega. Minu isiklike eelistuste järgi võite arvata…

Jaga seda postitust: