Infineon Technologiesin tutkijat julkaisivat uuden teknisen paperin nimeltä "All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification".
Abstrakti
”Nykyaikainen laitesuunnittelu on kasvanut entistä tehokkaammaksi ja monimutkaisemmaksi. He ovat kuitenkin usein alttiita Common Weakness Enumerationsille (CWE). Tämä artikkeli keskittyy CWE:iden muodolliseen todentamiseen laitteistosuunnitelmien tietojoukossa, joka on kirjoitettu SystemVerilogissa Regenerative Artificial Intelligence (AI) -sovelluksesta, joka perustuu Large Language Models (LLM) -malliin. Käytimme muodollista todentamista luokitellaksemme jokaisen laitteiston haavoittuvaksi tai CWE-vapaaksi. Tämän tietojoukon on luonut 4 erilaista LLM:ää, ja se sisältää ainutlaatuisen mallisarjan jokaiselle 10:lle CWE:lle, joita artikkelissamme kohdistamme. Olemme yhdistäneet tunnistetut haavoittuvuudet CWE-numeroihin 60,000 60 luodun SystemVerilog Register Transfer Level (RTL) -koodin tietojoukossa. Havaittiin myös, että useimmat LLM:t eivät ole tietoisia mistään laitteisto-CWE:stä; siksi niitä ei yleensä oteta huomioon laitteistokoodia luotaessa. Tutkimuksemme paljastaa, että noin XNUMX % LLM:iden luomista laitteistosuunnitelmista on alttiita CWE:ille, mikä aiheuttaa mahdollisia turvallisuusriskejä. Tietojoukko voisi olla ihanteellinen LLM:ien ja koneoppimisalgoritmien (ML) koulutukseen, jotta vältytään luomasta CWE-alttiita laitteistosuunnitelmia.
Etsi tekninen paperia tänne. Julkaistu maaliskuussa 2024.
Gadde, Deepak Narayan, Aman Kumar, Thomas Nalapat, Evgenii Rezunov ja Fabio Cappellini. "Kaikki keinotekoinen, vähemmän älykkyyttä: GenAI muodollisen todentamisen linssin kautta." (2024).arXiv:2403.16750v1
- SEO-pohjainen sisällön ja PR-jakelu. Vahvista jo tänään.
- PlatoData.Network Vertical Generatiivinen Ai. Vahvista itseäsi. Pääsy tästä.
- PlatoAiStream. Web3 Intelligence. Tietoa laajennettu. Pääsy tästä.
- PlatoESG. hiili, CleanTech, energia, ympäristö, Aurinko, Jätehuolto. Pääsy tästä.
- PlatonHealth. Biotekniikan ja kliinisten kokeiden älykkyys. Pääsy tästä.
- Lähde: https://semiengineering.com/verifying-hardware-cwes-in-rtl-designs-generated-by-genai/