Infineon Technologies araştırmacıları tarafından "Tamamen Yapay, Daha Az Zeka: Resmi Doğrulama Merceğinden GenAI" başlıklı yeni bir teknik makale yayınlandı.
Özet
“Modern donanım tasarımları giderek daha verimli ve karmaşık hale geldi. Bununla birlikte, genellikle Ortak Zayıflık Sayımlarına (CWE'ler) karşı hassastırlar. Bu makale, Büyük Dil Modelleri (LLM'ler) tarafından desteklenen Rejeneratif Yapay Zekadan (AI) SystemVerilog'da yazılan donanım tasarımlarından oluşan bir veri kümesindeki CWE'lerin resmi olarak doğrulanmasına odaklanmaktadır. Her donanım tasarımını savunmasız veya CWE'siz olarak sınıflandırmak için resmi doğrulama uyguladık. Bu veri seti 4 farklı LLM tarafından oluşturulmuştur ve makalemizde hedeflediğimiz 10 CWE'nin her biri için benzersiz bir tasarım seti içermektedir. Tanımlanan güvenlik açıklarını, oluşturulan 60,000 SystemVerilog Kayıt Aktarım Düzeyi (RTL) kodundan oluşan bir veri kümesi için CWE numaralarıyla ilişkilendirdik. Ayrıca çoğu LLM'nin herhangi bir donanım CWE'sinden haberdar olmadığı da tespit edildi; dolayısıyla donanım kodunu oluştururken genellikle dikkate alınmazlar. Çalışmamız, LLM'ler tarafından üretilen donanım tasarımlarının yaklaşık %60'ının CWE'lere yatkın olduğunu ve potansiyel emniyet ve güvenlik riskleri teşkil ettiğini ortaya koyuyor. Veri seti, Yüksek Lisans ve Makine Öğrenimi (ML) algoritmalarının CWE'ye yatkın donanım tasarımları üretmekten kaçınmaları için eğitilmeleri için ideal olabilir."
teknik bul kağıt burada. Mart 2024'de yayınlandı.
Gadde, Deepak Narayan, Aman Kumar, Thomas Nalapat, Evgenii Rezunov ve Fabio Cappellini. “Tamamen Yapay, Daha Az Zeka: Resmi Doğrulama Merceğinden GenAI.” (2024).arXiv:2403.16750v1
- SEO Destekli İçerik ve Halkla İlişkiler Dağıtımı. Bugün Gücünüzü Artırın.
- PlatoData.Network Dikey Üretken Yapay Zeka. Kendine güç ver. Buradan Erişin.
- PlatoAiStream. Web3 Zekası. Bilgi Genişletildi. Buradan Erişin.
- PlatoESG. karbon, temiz teknoloji, Enerji, Çevre, Güneş, Atık Yönetimi. Buradan Erişin.
- PlatoSağlık. Biyoteknoloji ve Klinik Araştırmalar Zekası. Buradan Erişin.
- Kaynak: https://semiengineering.com/verifying-hardware-cwes-in-rtl-designs-generated-by-genai/
