في عصر تكنولوجيا المعلومات الحديثة، يتصدر التحقق الوظيفي (Functional Verification) جداول الأعمال الهندسية في تصميم الدوائر المتكاملة (IC). تكفي خطأ واحد ليؤدي إلى تكاليف ضخمة نتيجة إعادة تصميم السيليكون. مع تقدم نماذج اللغات الضخمة (Large Language Models) في الآونة الأخيرة، ظهرت فرص جديدة لأتمتة هذه العملية المعقدة.

لكن، ماذا لو أخبرناكم أنه في الوقت الذي تحاول فيه العديد من الحلول من التعامل مع هذا التحدي، قدمت GoGoTB (GoGo Testbench) حلاً متكاملاً يتجاوز الحدود التقليدية؟!

يعمل GoGoTB من خلال إطار وكيل (agentic framework) متعدد الأنظمة، يضم ثلاثة مكونات رئيسية: طبقة تحكم تنفيذ وكيل، نظام معرفة قابلة للتطوير، وإغلاق تغطية معتمد على المواصفات. تبين أن طبقة التحكم التنفيذية تفصل بين فرض القوانين الحتمية والتفكير القائم على نموذج اللغة، مما يمنع الأخطاء الشائعة عند كل مرحلة.

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

عند اختبار GoGoTB على ثمانية تصاميم بمستوى نقل التسجيل (RTL) دون أي تدخل بشري، حقق الإطار الجديد نجاحًا مذهلاً بنسبة 100٪ في توليد البيئات، بينما حقق معدل تغطية يبلغ 98.4٪ في الخطوط، و97.2٪ في الفروع، و97.0٪ في التحويلات، و83.2٪ في التغطية الوظيفية.

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

هل أنتم مستعدون لمواكبة أحدث التطورات في مجال الدوائر المتكاملة والذكاء الاصطناعي؟ شاركونا آرائكم في التعليقات!