Iwe imọ-ẹrọ tuntun ti akole “Gbogbo Oríkĕ, Imọye Kere: GenAI nipasẹ Lens ti Imudaniloju Iṣeduro” ti a tẹjade nipasẹ awọn oniwadi ni Awọn Imọ-ẹrọ Infineon.
áljẹbrà
“Awọn apẹrẹ ohun elo ode oni ti dagba daradara ati idiju. Sibẹsibẹ, wọn nigbagbogbo ni ifaragba si Awọn Iṣiro Ailagbara ti o wọpọ (CWEs). Iwe yii ti dojukọ lori ijẹrisi deede ti awọn CWEs ninu iwe data ti awọn apẹrẹ ohun elo ti a kọ sinu SystemVerilog lati Imọ-itumọ Artificial Regenerative (AI) ti o ni agbara nipasẹ Awọn awoṣe Ede nla (LLMs). A lo ijẹrisi deede lati tito lẹšẹšẹ kọọkan oniru hardware bi ipalara tabi CWE-free. Ipilẹ data yii jẹ ipilẹṣẹ nipasẹ awọn LLM oriṣiriṣi mẹrin 4 ati pe o ṣe ẹya ara oto ti awọn apẹrẹ fun ọkọọkan awọn CWE 10 ti a fojusi ninu iwe wa. A ti ni nkan ṣe pẹlu awọn ailagbara idanimọ pẹlu awọn nọmba CWE fun ipilẹ data ti 60,000 ti ipilẹṣẹ SystemVerilog Register Gbigbe Ipele (RTL) koodu. O tun rii pe ọpọlọpọ awọn LLM ko mọ ti eyikeyi CWEs hardware; nitorinaa wọn kii ṣe akiyesi nigbagbogbo nigbati o ba ṣẹda koodu ohun elo. Iwadii wa ṣafihan pe isunmọ 60% ti awọn apẹrẹ ohun elo ti ipilẹṣẹ nipasẹ LLMs jẹ itara si awọn CWE, ti n ṣafihan aabo ti o pọju ati awọn eewu aabo. Iṣeduro data le jẹ apẹrẹ fun ikẹkọ LLMs ati Awọn algoridimu Ẹkọ Ẹrọ (ML) lati yago fun iṣelọpọ awọn apẹrẹ ohun elo CWE-prone.”
Wa imọ-ẹrọ iwe nibi. Ti a tẹjade ni Oṣu Kẹta ọdun 2024.
Gadde, Deepak Narayan, Aman Kumar, Thomas Nalapat, Evgenii Rezunov ati Fabio Cappellini. "Gbogbo Oríkĕ, Imọye Kere: GenAI nipasẹ awọn lẹnsi ti Ijẹrisi Iṣeduro." (2024).arXiv:2403.16750v1
- SEO Agbara akoonu & PR Pinpin. Gba Imudara Loni.
- PlatoData.Network inaro Generative Ai. Fi agbara fun ara Rẹ. Wọle si Nibi.
- PlatoAiStream. Web3 oye. Imo Amugbadun. Wọle si Nibi.
- PlatoESG. Erogba, CleanTech, Agbara, Ayika, Oorun, Isakoso Egbin. Wọle si Nibi.
- PlatoHealth. Imọ-ẹrọ Imọ-ẹrọ ati Awọn Idanwo Ile-iwosan. Wọle si Nibi.
- Orisun: https://semiengineering.com/verifying-hardware-cwes-in-rtl-designs-generated-by-genai/
