Large Language Model for Verilog Code Generation: Literature Review and the Road Ahead
تقدم هذه الورقة مراجعة أدبية منهجية شاملة لـ 102 دراسة حول استخدام النماذج اللغوية الكبيرة لتوليد كود Verilog، حيث تُحلل الأساليب الحالية، ومجموعات البيانات، واستراتيجيات المحاذاة، مع تحديد أوجه القصور واقتراح خارطة طريق بحثية مستقبلية للنهوض بالتصميم الآلي للأجهزة.
تخيل عالماً تُكتب فيه المخططات الهندسية لأكثر الآلات تعقيداً على وجه الأرض، ليس بأيدي البشر، بل بواسطة كمبيوتر يقرأ ويفهم اللغة الطبيعية. هذا هو أفق التصميم الإلكتروني، وهو مجال يصف فيه المهندسون كيفية عمل الرقائق السيليكونية باستخدام لغة متخصصة تسمى "Verilog". لعقود من الزمن، كانت هذه العملية مسعى دقيقاً يعتمد بشكل كبير على الجهد البشري، ويتطلب خبرة عميقة لضمان أن الدوائر الناتجة تعمل بشكل صحيح، وتتناسب مع حدود المساحة الفيزيائية، ولا ترتفع حرارتها بشكل مفرط. ومؤخراً، بدأ نوع جديد من الذكاء الاصطناعي، يُعرف باسم "النماذج اللغوية الكبيرة"، في دخول هذا المضمار. هذه النماذج، التي أثبتت بالفعل قدرتها على كتابة البرمجيات للحواسيب، يتم اختبارها الآن لمعرفة ما إذا كان بإمكانها تصميم الأجهزة (Hardware). إن الرهانات عالية: فبينما تصبح الرقائق أكثر تعقيداً، تتسع الفجوة بين الإنتاجية البشرية ومتطلبات التكنولوجيا الحديثة، مما يخلق عنق زجاجة يهدد بإبطاء الابتكار في كل شيء، من الهواتف الذاسية إلى الحواسيب الفائقة.
تضع مراجعة شاملة نُشرت في عام 2025 من قبل فريق من الباحثين من جامعات في الصين وأستراليا وسنغافورة، خارطة طريق لهذا المشهد سريع التطور. لم يكتفِ المؤلفون، بقيادة غوانغ يانغ ووي تشنغ، بالنظر في بضع تجارب حديثة فحسب؛ بل أجروا بحثاً منهجياً عبر آلاف الأوراق الأكاديمية والمسودات البحثية للعثين عن كل دراسة طبقت هذه النماذج القوية من الذكاء الاصطناعي على توليد كود "Verilog". وبعد عملية تصفية صارمة، استقروا على 102 دراسة عالية الجودة نُشرت بين عامي 2020 و2025. كان هدفهم هو فهم الأدوات المستخدمة، ومدى جودة اختبارها، والتقنيات التي تحسن أداءها، وما إذا كانت التصاميم الناتجة آمنة وموثوقة بما يكفي للاستخدام في العالم الحقيقي.
وجد الباحثون أن هذا المجال قد انفجر في سنوات قلي سريعة، حيث نما من دراسة واحدة في عام 2020 إلى 66 ورقة بحثية في عام 2025 وحده. واكتشفوا أن نماذج الذكاء الاصطناعي التي تقود هذا التقدم تأتي بنوعين رئيسيين. يتكون النوع الأول من نماذج عامة الأغراض، وهي نفس الأنواع التي يمكنها كتابة القصص أو الإجابة على الأسئلة، والتي يحاول الباحثون تكييفها لتصميم الأجهزة. أما المجموعة الثانية فتتضمن نماذج تم تدريبها أو ضبطها بدقة على كميات هائلة من أكواد "Verilog". ومن بين النماذج مفتوحة المصدر المتاحة للباحثين، أصبحت العائلات القائمة على بنيات "Llama" و"DeepSeek" هي الخيارات الأكثر شعبية، بينما تظل النماذج مغلقة المصدر من شركات التكنولوجيا الكبرى، لا سيما تلك الموجودة في سلسلة "GPT"، مهيمنة من حيث الاستخدام الخام. وتسلط المراجعة الضوء على اتجاه واضح: في حين يمكن للنماذج العامة إنتاج الكود، فإن النتائج الأكثر واعدة تأتي من النماذج التي تم تعليمها قواعد ومنطق تصميم الأجهزة بشكل محدد.
ولمعرفة ما إذا كانت هذه التصاميم المولدة بالذكاء الاصطناعي تعمل حقاً، فحص الباحثون كيفية اختبار العلماء لها. ووجدوا أن المجال ينتقل بعيداً عن الفحوصات البسيطة التي تكتفي بالنظر فيما إذا كان الكود يبدو كنص صحيح. وبدلاً من ذلك، تستخدم الدراسات الأكثر موثوقية الآن "بيئات الاختبار" (testbenches)، وهي عمليات محاكاة مؤتمتة تقوم بتشغيل الكود المولد لترى ما إذا كان يتصرف تماماً كما هو مخطط له. وقد صنفت المراجعة عشرات مجموعات البيانات الاختبارية هذه، مشيرة إلى أنه على الرغم من أن العديد منها لا يزال صغيراً، إلا أن أفضلها يتضمن آلاف الأمثلة مع تعليمات مفصلة وحلول موثقة. وهناك نتيجة حاسمة وهي أن جودة البيانات المستخدمة لتدريب هذه النماذج لا تقل أهمية عن النموذج نفسه؛ إذ يبني الباحثون بشكل متزايد مجموعات بيانات لا تحتوي على الكود فحسب، بل تشمل أيضاً خطوات الاستدلال والقيود المحددة للأجهزة، مما يعلم الذكاء الاصطناعي التفكير كمهندس بدلاً من مجرد متنبئ بالنصوص.
تفصل الورقة أيضاً الأساليب التي يستخدمها الباحثون لجعل هذه النماذج أفضل. بعض الأساليب لا تتطلب تغيير النموذج على الإطلاق؛ بل تستخدم تقنيات توجيه ذكية أو تطلب من الذكاء الاصطناعي مراجعة عمله الخاص مقابل أدوات هندسية قياسية قبل الانتهاء من التصميم. وتتضمن طرق أخرى تدريب النماذج بشكل أكبر على بيانات متخصصة أو استخدام تقنية تسمى "التعلم المعزز"، حيث يتم مكافأة النموذج لإنتاج كود يجتاز اختبارات صارمة ومعاقبته على الأخطاء. وتشير المراجعة إلى أن الجمع بين هذه الاستراتيجيات، لا سيما من خلال جعل عدة وكلاء ذكاء اصطناعي يعملون معاً — أحدهم للتصميم، وآخر للتدقيق، وثالث للتحسين — يحقق أفضل النتائج. ومع ذلك، يحذر المؤلفون من أنه حتى مع هذه التحسينات، فإن التكنولوجيا ليست مثالية بعد؛ فلا تزال النماذج تعاني مع الطبيعة المتوازية والمعقدة للأجهزة، حيث تنتج أحياناً كوداً يبدو صحيحاً ولكنه يفشل عند بنائه فعلياً.
ولعل الأمر الأكثر أهمية هو أن المراجعة تتناول المخاطر المرتبطة بتسليم مهام التصميم للذكاء الاصطناعي. فقد حلل الباحثون كيف تتعامل الدراسات الحالية مع الأمن والكفاءة وحقوق الطبع والنشر. ووجدوا أنه على الرغم من إحراز بعض التقدم في منع الذكاء الاصطناعي من توليد كود يحتوي على ثغرات خفية أو سرقة الملكية الفكرية، إلا أن هذه المجالات لا تزال غير متطورة بما يكفي. يمكن للنماذج أحياناً أن "تهلوس"، فتنشئ تصاميم تبدو منطقية ولكنها تحتوي على أخطاء منطقية لا تظهر إلا عند تصنيع الرقاقة. ويخلص المؤلفون إلى أنه بينما تحمل النماذج اللغوية الكبيرة وعوداً هائلة بتحويل كيفية بناء الأجهزة، فإن الطريق إلى الأمام يتطلب أكثر من مجرد توليد كود أفضل؛ فهو يتطلب جيلاً جديداً من معايير القياس التي تختبر القيود الفيزيائية، وآليات سلامة أقوى، وأدوات تسمة للمهندسين البشريين بالتعاون الوثيق مع الذكاء الاصطناعي. إن مستقبل هذا المجال، كما يقترحون، لا يكمن في استبدال المصممين البشر، بل في خلق مساعدين أذكياء يمكنهم التعامل مع تعقيد الرقائق الحديثة مع إبقاء الخبير البشري في قلب العملية لضمان السلامة والموثوقية.
ملخص تقني: النماذج اللغوية الكبيرة لتوليد كود Verilog: مراجعة أدبية وآفاق المستقبل
بيان المشكلة
يواجه قطاع أتمتة التصميم الإلكتروني (EDA) فجوة إنتاجية متسعة مدفوعة بتعقيد الدوائر المتزايد ونقص المواهب المتخصصة القادرة على كتابة لغات وصف العتاد (HDLs) مثل Verilog. وخلافًا لتطوير البرمجيات، يفرض تصميم العتاد قيودًا فريدة، بما في ذلك التزامن المتأصل، ومتطلبات التوقيت الصارمة، والقيود الفيزيائية (الطاقة، المساحة)، وضرورة القابلية للتصنيع (Synthesizability). وبينما أحدثت النماذج اللغوية الكبيرة (LLMs) ثورة في توليد الكود للأغراض العامة، إلا أن تطبيقها على Verilog لا يزال مجزأً. وتتوزع الأبحاث الحالية بين هندسة البرمجيات (SE)، والذكاء الاصطناي (AI)، ومنصات أتمتة التصميم الإلكتروني (EDA)، وتتميز بعدم اتساق المصطلحات، ومقاييس التقييم، ونهج التحسين. كما أن المسوحات السابقة إما ركزت على توليد الكود العام (متجاهلة تحديات العتاد المحددة) أو أتمتة الـ EDA بشكل عام (تفتقر إلى التحليل العميق لتوليد Verilog القائم على النماذج اللغوية الكبيرة)، مما ترك فجوة حرجة في فهم الحالة الراهنة للتصميم الآلي للـ RTL.
المنهجية
أجرى المؤلفون مراجعة منهجية للأدبيات (SLR) باتباع إرشادات Kitchenham et al. واستخدام استراتيجية المعيار الذهبي شبه المكتمل (Quasi-Gold Standard - QGS).
استراتيجية البحث: جمعت المراجعة بين البحث اليدوي في المنصات الرائدة (مثل AAAI، DAC، ICLR) والبحث الآلي القائم على النصوص عبر ست قواعد بيانات رئيسية (IEEE Xplore، ACM Digital Library، ScienceDirect، Web of Science، SpringerLink، arXiv).
النطاق: المنشورات من عام 2020 (بداية المجال) حتى أكتوبر 2025.
عملية الاختيار: تم تطبيق عملية تصفية صارمة من ثلاث مراحل (الفحص الأولي، التصفية القائمة على المحتوى، وتقييم النص الكامل). تضمن ذلك تقنية "كرة الثلج" (Snowballing) الأمامية والخلفية لالتقاط الأعمال الناشئة.
المتن (Corpus): يتكون المتن النهائي من 102 ورقة بحثية عالية الجودة (70 مراجعة من قبل الأقران، 32 مسودة أولية/Preprint).
تقييم الجودة: تم تقييم الدراسات بناءً على خمس معايات لتقييم الجودة (QACs)، مع حد أدنى قدره 12/15 نقطة للإدراج.
إطار التحليل: تتمحور المراجعة حول أربعة أسئلة بحثية (RQs):
RQ1: ما هي النماذج اللغوية الكبيرة المستخدمة؟
RQ2: كيف يتم بناء مجموعات البيانات وتقييمها؟
RQ3: ما هي تقنيات التكيف والتحسين المستخدمة؟
RQ4: كيف يتم التعامل مع نهج المواءمة (الأمن، الكفاءة، حقوق الطبع والنشر، الهلوسة)؟
المساهمات الرئيسية والنتائج
1. تصنيف النماذج اللغوية الكبيرة (RQ1)
تصنف المراجعة النماذج إلى نماذج لغوية أساسية (Base LLMs) ونماذج لغوية مضبوطة بالتعليمات (Instruction-Tuned - IT LLMs).
النماذج الأساسية: تهيمن عليها عائلات المصادر المفتوحة (Llama، DeepSeek، Qwen) والنماذج مغلقة المصدر (سلسلة GPT). وقد ارتفع استخدام المصادر المفتوحة، متحولاً من نماذج الكود التقليدية (CodeGen) إلى النماذج التأسيسية الضخمة (Llama3، DeepSeek-Coder).
النماذج المضبوطة بالتعليمات: تم تحديد 34 نموذجًا خاصًا بـ Verilog ومضبوطًا بالتعليمات. الغالبية العظمى (82.4%) مبنية على أسس متخصصة في الكود (DeepSeek-Coder، سلسلة Qwen coder، CodeLlama). ومن الملاحظ أن 55.9% من هذه النماذج تطلق أوزانها المفتوحة، مما يسهل إعادة الإنتاج. وهناك توجه متزايد نحو النسخ "المعززة بالتفكير" (مثل نماذج نمط R1) للتعامل مع منطق التصميم المعقد.
2. مجموعات البيانات ومقاييس التقييم (RQ2)
مجموعات البيانات: يشمل المشهد 19 اختبار مرجعي مفتوح المصدر و34 مجموعة بيانات للضبط بالتعليمات (22 مفتوحة المصدر و12 مغلقة المصدر).
طرق البناء: تتراوح من تركيب القوالب (Template Synthesis) وتنقيب مستودعات البرمجيات (GitHub، HDLBits) إلى التقييم من قبل الخبراء والتركيب القائم على النماذج اللغوية الكبيرة.
ضمان الجودة: يتم التركيز على لوحات الاختبار (Testbenches) القابلة للتنفيذ، والتحقق الرسمي (Yosys، حلول SAT)، والتحكم في التلوث (Contamination Control).
الاتجاهات: هناك تحول نحو المدخلات متعددة الوسائط (النص + الصور/الموجات) ومجموعات بيانات تدريب أكبر نطاقًا، رغم أن العديد من مجموعات بيانات الضبط بالتعليمات لا تزال تفتقر إلى الإشراف القابل للتنفيذ.
المقاييس: تطور التقييم من مقاييس تشابه النصوص (BLEU، ROUGE) إلى مقاييس قائمة على التنفيذ (Functional-pass@k، Syntax-pass@k) ومقاييس العتاد الخاصة (PPA: الطاقة، الأداء، المساحة). وتظهر أطر عمل "النموذج اللغوي كحكم" (LLM-as-a-Judge) للتقييم بدون مرجع.
3. تقنيات التكيف والتحسين (RQ3)
الطرق الخالية من التدريب (Training-Free): تشمل حلقات التغذية الراجعة من أدوات EDA (أنظمة الوكيل الواحد والوكيل المتعدد)، وهندسة الأوامر (Prompt Engineering) (الأوامر المهيكلة، RAG)، وتحسين الاستدلال (إعادة التصنيف، الاتساق الذاتي). وتظهر الأنظمة متعددة الوكلاء (مثل بنيات المولد-المراجع Generator-Reviewer) مكاسب كبيرة في التصاميم المعقدة.
الطرق القائمة على التدريب (Training-Based):
الضبط الدقيق الخاضع للإشراف (SFT): تحولت الاستراتيجيات من التوسع المرتكز على البيانات إلى النهج المرتكز على الاستراتيجية (التعلم المنهجي/Curriculum Learning، ترجيح الخسارة الهرمي) والضبط المعزز بالمعرفة (حقن هياكل CFG/DFG).
التعلم التعزيزي (RL): تتفوق طرق RL (مثل PPO، DPO، GRPO) التي تستخدم مكافآت قائمة على الهيكل أو تغذية راجعة من الأدوات (تقارير EDA) باستمرار على خطوط أساس SFT بمعدل 3-8 نقاط مئوية في معدلات النجاح، حيث تعمل على تحسين الصحة الوظيفية وقيود العتاد.
4. نهج المواءمة (RQ4)
تحدد المراجعة أربعة أبعاد حرجة للمواءمة:
الأمن: الحد من الثغرات الأمنية والأبواب الخلفية عبر الرسوم البيانية للمعرفة (Hardware-CWE) والتعلم غير المعتمد (Machine Unlearning).
الكفاءة: تحسين PPA من خلال استكشاف مجال التصميم (MCTS) والتغذية الراجعة في حلقة مغلقة من أدوات التصنيع.
حقوق الطبع والنشر: معالجة مخاطر الملكية الفكرية من خلال العلامات المائية (RTLMarker) وتنسيق مجموعات البيانات بدقة لمنع إعادة إنتاج التصاميم المملوكة.
الهلوسة: تقليل الأخطاء الوظيفية عبر التوليد المعزز بالمعرفة، والتحسين القائم على تصنيف الأخطاء، وتحسين وقت فك التشفير (Decoding-time optimization).
تركيب الأدلة عبر الدراسات
يجمع المؤلفون النتائج عبر 102 دراسة، مشيرين إلى:
التخصص في المجال: يمكن للنماذج الصغيرة المتكيفة مع المجال (مثل 7 مليار بارامتر) التي تم ضبطها بدقة على بيانات Ver-ilog أن تضاهي أو تتجاوز النماذج الضخمة العامة (GPT-3.5/4) في الصحة الوظيفية.
تفوق التعلم التعزيزي (RL): توفر استراتيجيات RL تحسينات ثابتة ومحدودة فوق SFT من خلال معالجة انحياز التعرض (Exposure Bias) ودمج التحسين الواعي بالتنفيذ.
فعالية تعدد الوكلاء: تُظهر الأنظمة متعددة الوكلاء أعلى مكاسب في الأداء، خاصة للتصاميم المعقدة على مستوى النظام، من خلال الاستفية من التغذية الراجعة التكرارية لـ EDA.
تقطير الاستدلال (Reasoning Distillation): يوفر اتجاه عام 2025 لتقطير آثار الاستدلال من النماذج الرائدة (مثل DeepSeek-R1) مزايا نوعية مقارنة بمجرد توسيع البيانات.
الأهمية وخارطة الطريق المستقبلية
تدعي الورقة أنها أول مسح شامل مخصص تحديدًا لتوليد كود Verilog القائم على النماذج اللغوية الكبيرة، مما يسد الفجوة بين مجتمعات هندسة البرمجيات، والذكاء الاصطناعي، وأتمتة التصميم الإلكتروني (EDA). وتوضح أن التقدم سريع، لكن الأبحاث الحالية تواجه قيودًا:
فجوات المعرفة: تفتقر النماذج اللغوية العامة إلى الفهم الجوهري لقيود العتاد (التوقيت، التزامن).
ندرة البيانات: تفتقر الاختبارات المرجعية واسعة النطاق ذات التحقق الشامل إلى الجودة.
عجز التقييم: غالبًا ما تتجاهل المقاييس أبعاد PPA والأمن.
جاهزية النشر: تفتقر الأدوات الحالية إلى التكامل السلس في سير عمل EDA الصناعي.
الطريق أمامنا: يقترح المؤلفون خارطة طريق من ثلاث مراحل:
تعزيز الأسس: تطوير نماذج واعية بالعتاد يتم تدريبها مسبقًا على مجموعات بيانات محددة، وبناء اختبارات مرجعية ضخمة ودائمة.
توسيع القدرات: الانتقال من توليد الوحدات (Modules) إلى التوليد الهرمي على مستوى النظام، ودعم المدخلات متعددة الوسائط (المخططات، الموجات).
التحسين والنشر: تنفيذ خطوط أنابيب RL في حلقة مغلقة مدفوعة بالتغذية الراجعة المباشرة من EDA، وتطوير واجهات "Copilot-for-Hardware" للتعاون بين الإنسان والذكاء الاصطناعي.
تخلص المراجعة إلى أن الانتقال من النماذج الأولية التجريبية إلى مساعدين موثوقين وخبراء يتطلب معالجة هذه التحديات التأسيسية وتحديات المواءمة لإعادة تشكيل منظومة أتمتة التصميم الإلكتروني بشكل جذري.