ليرا: إطار توليدي للتحقق من معالجات RISC-V
التحقق من تصاميم معالجات RISC-V المعقدة يمثل تحديًا كبيرًا. الطرق التقليدية، التي تعتمد على المحاكاة ببرمجيات بطيئة واستخدام محفزات اختبار عشوائية، تشكل عنق زجاجة كبيرًا. ليرا تظهر كحل مبتكر يعالج هذه المشكلة من جذورها، من خلال دمج الذكاء الاصطناعي مباشرة في سير العمل. 🚀
نهج ذكي لتوليد الاختبارات
بدلاً من الاعتماد على الطفرات العشوائية أو المتجهات العشوائية، يدمج ليرا نموذجًا توليديًا متخصصًا يُدعى LyraGen. يفهم هذا النموذج بعمق هندسة مجموعة التعليمات (ISA) للمعالج. وظيفته الرئيسية هي إنتاج تسلسلات تعليمات غنية دلاليًا وعالية الجودة، مصممة خصيصًا لاستكشاف سلوكيات معقدة وحالات حافة في تصميم الأجهزة التي تتجاهلها الطرق العشوائية.
مزايا رئيسية لـ LyraGen:- يولد محفزات اختبار تفهم دلالة تعليمات RISC-V.
- يستكشف بشكل موجه حالات داخلية معقدة للأجهزة.
- يحل محل العشوائية البسيطة بتسلسلات تعليمات ذات معنى.
ما يحتاجه تصميم الرقائق هو أن يشرح له الذكاء الاصطناعي أي التعليمات مثيرة للاهتمام لتنفيذها، لا الضغط على لوحة المفاتيح عشوائيًا حتى يفشل شيء ما.
تسريع هائل من خلال التنفيذ على الأجهزة
لا تقتصر هندسة ليرا على الذكاء في توليد الاختبارات فحسب، بل هي سريعة للغاية في تنفيذها أيضًا. ينفذ النظام الوحدة تحت الاختبار ونموذج مرجعي ذهبي بالتوازي داخل SoC مع FPGA. يسمح هذا النهج بمقارنة الاختلافات بينهما بسرعة الأجهزة، مما يحقق تسريعًا هائلاً. بالإضافة إلى ذلك، يسهل جمع مقاييس التغطية بشكل هائل وفي الوقت الفعلي، وهو أمر محظور مع محاكيات البرمجيات.
نتائج التحقق المعجل:- ينفذ المقارنة والتحقق بسرعة FPGA الأصلية.
- يجمع بيانات التغطية بشكل شامل وفعال.
- يجمع بين توليد LyraGen الذكي وسرعة الأجهزة.
نتائج تجريبية تثبت تفوقها
تظهر الاختبارات التجريبية مع ليرا تحسينات قابلة للقياس والكبيرة مقارنة بأفضل أدوات التحقق البرمجية التقليدية. يحقق النظام تغطية تصميم تصل إلى 1.27 مرة أكبر، مكتشفًا المزيد من حالات الحافة والحالات الحرجة. أما بالنسبة للسرعة، فيسرع عملية التحقق الكاملة من طرف إلى طرف بين 107 و 3343 مرة. فائدة رئيسية أخرى هي صعوبة التقارب الأقل باستمرار، مما يترجم مباشرة إلى تقليل التكلفة الإجمالية والوقت اللازم للتحقق من تصميم معقد. ✅