מאמר טכני חדש שכותרתו "הכל מלאכותי, פחות אינטליגנציה: GenAI דרך העדשה של אימות פורמלי" פורסם על ידי חוקרים ב-Infineon Technologies.
תַקצִיר
"עיצובי חומרה מודרניים הפכו יעילים ומורכבים יותר ויותר. עם זאת, לעתים קרובות הם רגישים לספירות חולשה נפוצות (CWEs). מאמר זה מתמקד באימות הפורמלי של CWEs במערך נתונים של עיצובי חומרה שנכתבו ב-SystemVerilog מ-Regenerative Artificial Intelligence (AI) המופעל על ידי מודלים של שפה גדולה (LLMs). החלטנו אימות רשמי כדי לסווג כל עיצוב חומרה כפגיע או ללא CWE. מערך נתונים זה נוצר על ידי 4 LLMs שונים וכולל סט עיצובים ייחודי עבור כל אחד מ-10 CWEs שאנו ממקדים במאמר שלנו. קישרנו את הפגיעויות שזוהו למספרי CWE עבור מערך נתונים של 60,000 קודים של SystemVerilog Register Transfer Level (RTL) שנוצרו. כמו כן, נמצא שרוב ה-LLMs אינם מודעים ל-CWEs של חומרה; לפיכך הם בדרך כלל אינם נחשבים בעת יצירת קוד החומרה. המחקר שלנו מגלה שכ-60% מתכנוני החומרה שנוצרו על ידי LLMs נוטים ל-CWE, מהווים סיכוני בטיחות ואבטחה פוטנציאליים. מערך הנתונים יכול להיות אידיאלי לאימון LLMs ואלגוריתמים של Machine Learning (ML) כדי להימנע מיצירת עיצובי חומרה המועדים ל-CWE."
מצא את הטכני נייר כאן. פורסם במרץ 2024.
Gadde, Deepak Narayan, Aman Kumar, Thomas Nalapat, Evgenii Rezunov ו-Fabio Cappellini. "הכל מלאכותי, פחות אינטליגנציה: GenAI דרך עדשת האימות הפורמלי." (2024).arXiv:2403.16750v1
- הפצת תוכן ויחסי ציבור מופעל על ידי SEO. קבל הגברה היום.
- PlatoData.Network Vertical Generative Ai. העצים את עצמך. גישה כאן.
- PlatoAiStream. Web3 Intelligence. הידע מוגבר. גישה כאן.
- PlatoESG. פחמן, קלינטק, אנרגיה, סביבה, שמש, ניהול פסולת. גישה כאן.
- PlatoHealth. מודיעין ביוטכנולוגיה וניסויים קליניים. גישה כאן.
- מקור: https://semiengineering.com/verifying-hardware-cwes-in-rtl-designs-generated-by-genai/