- Belge
- KFO-003
- Revizyon
- Rev A
- Durum
- Sürüyor
- Tür
- Güncelleme
RTL-SecCheck
Yapay zekâ yardımıyla yazılmış donanım tasarımlarını işlevsel ve güvenlik hatalarına karşı denetleyen açık kaynak bir doğrulama hattı.
Problem
Donanım kodunun giderek daha büyük bir kısmı yapay zekâ modellerinin yardımıyla yazılıyor. Bir tasarım testlerini geçip yine de bir güvenlik açığı saklayabilir.
Yaklaşım
Lint, simülasyon ve biçimsel doğrulamayı, yaygın donanım zayıflıklarına yönelik bir güvenlik denetimleri setiyle birleştiren açık kaynak bir hat.
Plan
Hattı önce kendi tasarımlarıma uyguluyorum. Başka tasarımlarda doğrulanan bulgular, herhangi bir şey yayımlanmadan önce sorumlu ifşa ilkesiyle tasarımcılarına bildirilecek.
Revizyon geçmişi
| Rev A | Proje sayfası |