مع تزايد التعقيد في تصميم أنظمة الرقائق (System-on-Chip)، أصبح من الضروري تبني نماذج مرجعية عالية الدقة بسرعة، والتي عادةً ما تُكتب بلغة SystemC لاستكشاف البنية والتحقق منها في وقت مبكر. تُظهر نماذج اللغات الضخمة (Large Language Models) وعدًا كبيرًا في توليد الأكواد، لكن تطبيقها في نمذجة الأجهزة يواجه تحديات فريدة.

تتضمن هذه التحديات: (1) عدم قدرة سير العمل الثابت على التكيف مع تعقيدات التصميم المتفاوتة، مما يؤدي إلى عدم الكفاءة؛ (2) تغلب سعة النوافذ السياقية في التفاعلات المتعددة على عواقب نسيان المواصفات الأساسية؛ و (3) مشكلة فشل التحقق المرتبطة – حيث إن توليد Testbenches (TBs) قد يحقق نماذج معيبة بسبب التوهمات المتداخلة، مما يضعف موثوقية النتائج بشكل كبير.

لحل هذه الاشكالات، قدمنا RefEvo، وهو إطار عمل ديناميكي متعدد الوكلاء مصمم للنمذجة المرجعية السريعة والموثوقة. يتميز RefEvo بثلاث ابتكارات رئيسية: (1) مخطط تصميم ديناميكي، يقوم بشكل مستقل بتفكيك مواصفات التصميم وبناء سير عمل مخصص مبني على التعقيد الدلالي؛ (2) آلية تحقق تطورية مشتركة تستخدم حَكمًا جدليًا لتصحيح النموذج ومنطق التحقق في الوقت نفسه ضد المواصفات (Spec) الخاصة، مما يقلل بشكل فعال من إيجابيات كاذبة؛ و (3) استراتيجية تثبيت المواصفات لتقليل السياق بشكل خالٍ من الخسائر.

عند تقييمها على مجموعة متنوعة من 20 وحدة أجهزة، حققت RefEvo معدل نجاح يبلغ 95%، متفوقةً على الأسس الثابتة بفارق كبير. علاوة على ذلك، فإن تحسيننا للسياق يقلل من استهلاك الرموز بمعدل 71.04% في المتوسط، محققًا توفيرًا مطلقًا يتجاوز 70,000 رمز لكل جلسة لتصاميم معقدة مع المحافظة على دقة 100% في استدعاء المواصفات.