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

تناولت دراسة حديثة هذه التحديات بطرح تصنيف جديد للأخطاء يستند إلى نظرية معرفية، حيث صنفت الأخطاء إلى أنواع متعددة تشمل الأخطاء النحوية (syntactic)، والأخطاء الدلالية (semantic)، والأخطاء الوظيفية القابلة للحل (solvable functional)، وغير القابلة للحل (unsolvable functional). أظهرت التقييمات وجود سقف صارم على أداء نماذج LLMs في معايير مثل VerilogEval، حيث يبلغ معدل النجاح الأولي 90.8%، لكن هذه النسبة تتفاقم بسبب الأخطاء الوظيفية غير القابلة للحل.

الكشف عن هذه الفجوات المعرفية يُبرز أهمية فهم النماذج بدلاً من تعزيز محاولات التوافق (alignment techniques)، التي يبدو أنها تعلم النماذج كيفية الترجمة بدلاً من التفكير. وقد أثبتت استراتيجيات العينة المتكررة قدرتها على معالجة الأخطاء القابلة للحل، غير أن القدرة على كتابة كود مستوى نقل السجل (Register-Transfer Level - RTL) تبقى مقيدة بمعرفة ما قبل التدريب.

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