في عالم البرمجة وتطوير البرمجيات، غالباً ما يحتدم النقاش حول فعالية الأدوات المستخدمة في تحويل كود C إلى تنسيق قابل للتصنيع. تواجه برامج C المخصصة للتصنيع تحديات كبيرة أثناء عملية التوليف العالية المستوى (HLS)، حيث لا تقبل أدوات HLS إلا مجموعة محددة من أكواد C المعروفة بـ HLS-C.

معظم النماذج اللغوية الكبيرة (Large Language Models) الحالية والتي تهدف إلى إصلاح كود HLS، تركز فقط على المراحل الأولى من عملية التوليف، حيث تعتمد على سجلات الأدوات بشكل مباشر، مما يؤدي إلى إصلاحات غير موثوقة وصعبة التكرار.

لتجاوز هذه المشكلات، قام الباحثون بتحديد عملية تحويل كود C إلى HLS-C كنموذج يعتمد على بيئة مغلقة للتوليد والتحقق والتشخيص والإصلاح على أداة HLS المعروفة Xilinx Vitis. وقد قدم هذا الابتكار ثلاثة مكونات رئيسية:

1. **سير عمل شامل**: يتضمن سلسلة من الوكلاء المتعاونين المغلقة عبر أربع مراحل للتحقق تحت عزلة صارمة للأدلة.
2. **سلسلة تحديد عدم المطابقة التدريجي (Progressive Mismatch Localization Chain - PMLC)**: تقوم بمطابقة سجلات التحقق من الجودة (CSim) والتوليف (CoSim) عبر تطبيع السجلات والتقطيع العكسي لشجرة التركيب (AST) ومتابعة الأثر المزدوج.
3. **نموذج التحقيق القائم على الأدلة**: يعتمد على استعلامات مكتوبة ومنصات دعم إصلاح متطورة ذات أجيال متعددة.

أظهرت النتائج التجريبية أن سير العمل المقترح يتفوق بشكل ملحوظ على جميع النماذج الحالية في السوق. إن هذا التقدم يعد خطوة نوعية نحو تصميم أدوات برمجية أكثر موثوقية وقدرة على التكيف مع احتياجات المطورين.

ما رأيكم في هذا التطور؟ شاركونا في التعليقات.