Assertain: Automated Security Assertion Generation Using Large Language Models
يُعد Asscertain إطار عمل مؤتمتًا يستفيد من النماذج اللغوية الكبيرة مع تحسين التأمل الذاتي لتوليد تأكيدات أمان SystemVerilog دقيقة من تصميمات RTL، متفوقًا بشكل كبير على GPT-5 في تغطية الثغرات واكتشاف العيوب مع تقليل جهد التحقق اليدوي.