نشر باحثون في شركة Infineon Technologies ورقة فنية جديدة بعنوان "كل الذكاء الاصطناعي، والذكاء الأقل: GenAI من خلال عدسة التحقق الرسمي".
ملخص
"لقد أصبحت تصميمات الأجهزة الحديثة فعالة ومعقدة بشكل متزايد. ومع ذلك، فهم غالبًا ما يكونون عرضة لتعدادات الضعف الشائعة (CWEs). تركز هذه الورقة على التحقق الرسمي من CWEs في مجموعة بيانات من تصميمات الأجهزة المكتوبة في SystemVerilog من الذكاء الاصطناعي التجديدي (AI) المدعوم بنماذج اللغة الكبيرة (LLMs). قمنا بتطبيق التحقق الرسمي لتصنيف كل تصميم للأجهزة على أنه ضعيف أو خالٍ من CWE. تم إنشاء مجموعة البيانات هذه بواسطة 4 حاملي ماجستير إدارة أعمال مختلفين وتتميز بمجموعة فريدة من التصميمات لكل من أدوات CWE العشرة التي نستهدفها في ورقتنا. لقد قمنا بربط نقاط الضعف التي تم تحديدها بأرقام CWE لمجموعة بيانات مكونة من 10 رمز لمستوى نقل سجل SystemVerilog (RTL) الذي تم إنشاؤه. وقد وجد أيضًا أن معظم حاملي شهادات LLM ليسوا على علم بأي برامج CWE للأجهزة؛ ومن ثم لا يتم أخذها في الاعتبار عادةً عند إنشاء رمز الجهاز. تكشف دراستنا أن ما يقرب من 60,000٪ من تصميمات الأجهزة التي تم إنشاؤها بواسطة LLMs عرضة لـ CWEs، مما يشكل مخاطر محتملة على السلامة والأمن. يمكن أن تكون مجموعة البيانات مثالية لتدريب خوارزميات LLM وتعلم الآلة (ML) على الامتناع عن إنشاء تصميمات أجهزة عرضة لـ CWE.
ابحث عن التقنية ورقة هنا. تم النشر في مارس 2024.
جادي، ديباك نارايان، أمان كومار، توماس نالابات، إيفجيني ريزونوف وفابيو كابيليني. "كل الذكاء الاصطناعي، والذكاء الأقل: GenAI من خلال عدسة التحقق الرسمي." (2024).arXiv:2403.16750v1
- محتوى مدعوم من تحسين محركات البحث وتوزيع العلاقات العامة. تضخيم اليوم.
- PlatoData.Network Vertical Generative Ai. تمكين نفسك. الوصول هنا.
- أفلاطونايستريم. ذكاء Web3. تضخيم المعرفة. الوصول هنا.
- أفلاطون كربون، كلينتك ، الطاقة، بيئة، شمسي، إدارة المخلفات. الوصول هنا.
- أفلاطون هيلث. التكنولوجيا الحيوية وذكاء التجارب السريرية. الوصول هنا.
- المصدر https://semiengineering.com/verifying-hardware-cwes-in-rtl-designs-generated-by-genai/
