En ny teknisk artikel med titeln "All Artificiell, Mindre Intelligence: GenAI genom Lens of Formal Verification" publicerades av forskare vid Infineon Technologies.
Abstrakt
"Modern hårdvarudesign har blivit allt mer effektiv och komplex. Men de är ofta mottagliga för Common Weakness Enumerations (CWEs). Den här artikeln fokuserar på den formella verifieringen av CWE:er i en datauppsättning av hårdvarudesigner skrivna i SystemVerilog från Regenerative Artificial Intelligence (AI) som drivs av Large Language Models (LLM). Vi tillämpade formell verifiering för att kategorisera varje hårdvarudesign som sårbar eller CWE-fri. Denna datauppsättning genererades av 4 olika LLM:er och har en unik uppsättning designs för var och en av de 10 CWE:er som vi riktar in oss på i vår artikel. Vi har associerat de identifierade sårbarheterna med CWE-nummer för en datauppsättning med 60,000 60 genererade SystemVerilog Register Transfer Level (RTL)-koder. Det visade sig också att de flesta LLM:er inte är medvetna om några hårdvaru-CWE; därför beaktas de vanligtvis inte när hårdvarukoden genereras. Vår studie avslöjar att ungefär XNUMX % av hårdvarudesignerna som genereras av LLM är benägna att använda CWE, vilket utgör potentiella säkerhets- och säkerhetsrisker. Datauppsättningen kan vara idealisk för att träna LLM:er och Machine Learning (ML) algoritmer för att avstå från att generera CWE-benägna hårdvarudesigner."
Hitta det tekniska papper här. Publicerad mars 2024.
Gadde, Deepak Narayan, Aman Kumar, Thomas Nalapat, Evgenii Rezunov och Fabio Cappellini. "All artificiell, mindre intelligens: GenAI genom linsen av formell verifiering." (2024).arXiv:2403.16750v1
- SEO-drivet innehåll och PR-distribution. Bli förstärkt idag.
- PlatoData.Network Vertical Generative Ai. Styrka dig själv. Tillgång här.
- PlatoAiStream. Web3 Intelligence. Kunskap förstärkt. Tillgång här.
- Platoesg. Kol, CleanTech, Energi, Miljö, Sol, Avfallshantering. Tillgång här.
- PlatoHealth. Biotech och kliniska prövningar Intelligence. Tillgång här.
- Källa: https://semiengineering.com/verifying-hardware-cwes-in-rtl-designs-generated-by-genai/
