في عالم تصميم السيليكون المعقد، يعد ضمان دقة وموثوقية تصميماتنا أمرًا بالغ الأهمية. نظرًا لأن رقائقنا أصبحت أكثر تعقيدًا، فإن عملية اصطياد الأخطاء - تحديد الأخطاء في تصميماتنا وتصحيحها - تصبح أكثر أهمية. يتمتع الذكاء الاصطناعي التوليدي بالقدرة على إحداث ثورة في صناعة تصميم السيليكون من خلال تعزيز قدراتنا في اكتشاف الأخطاء. كيف؟ دعونا نجرب!
التجربة 4: البحث عن الأخطاء
لإثبات فعالية الذكاء الاصطناعي التوليدي في تصميم السيليكون، أجريت تجربة باستخدام GPT-4 من OpenAI. لقد زودنا النظام بمواصفات التصميم (مصدرها https://mathcircle.berkeley.edu/sites/default/files/archivedocs/2010_2011/contest/1011contestpdf/comp8.pdf) جنبا إلى جنب مع تنفيذ التصميم. الهدف؟ لمعرفة ما إذا كان بإمكان GenAI التعرف على أي أخطاء.
مواصفات التصميم: على رقعة شطرنج 5×5 يتحرك الملك وفق القواعد التالية: 1. يمكنه التحرك مربعًا واحدًا في كل مرة، أفقيًا، أو رأسيًا، أو قطريًا. 2. ويمكنها التحرك في كل اتجاه من الاتجاهات الثمانية المسموح بها ثلاث مرات على الأكثر في كامل مسارها.
فيما يلي الإخراج من نموذج GenAI:
1. الخطأ: استبدال cur_x_pos بـ cur_y_pos وإلا فابدأ cur_x_pos <= nxt_y_pos; cur_y_pos <= nxt_y_pos; end سيؤدي هذا القسم إلى أن يأخذ موضع x الحالي للملك (cur_x_pos) دائمًا قيمة nxt_y_pos، وهو غير صحيح. مثال مضاد: سيناريو الإدخال: افترض أن الملك في الموضع (2,2) وأن طلب النقل مزود بالاتجاه = 3'b010 (لأعلى). انتقال التصميم: متوقع: يبقى cur_x_pos 2 ويصبح cur_y_pos 3. الفعلي: يصبح كل من cur_x_pos وcur_y_pos 3. النتيجة: النتيجة المتوقعة: ينتقل King إلى (2,3). النتيجة الفعلية: ينتقل الملك إلى (3,3،XNUMX).
2. الخطأ: تهيئة cur_moves_count[] إلى الصفر إذا (إعادة تعيين) cur_moves_count[dir] <= 3'd0; تتم تهيئة أعداد تحركات جميع الاتجاهات إلى الصفر عند إعادة التعيين. ومع ذلك، فإن شرط التحقق من الحد الأقصى للتحركات يستخدم <3'd3، مما يعني أن الملك يمكنه التحرك 4 مرات في كل اتجاه قبل ظهور الخطأ. مثال مضاد: سيناريو الإدخال: افترض أن الملك في الموضع (0,0) وتم توفير أربعة طلبات نقل متتالية بالاتجاه = 3'b000 (يمين). انتقال التصميم: متوقع: بعد 3 تحركات إلى اليمين، من المفترض أن تؤدي الحركة الرابعة إلى حدوث خطأ. الفعلي: يتحرك الملك أربع مرات إلى اليمين دون حدوث خطأ. النتيجة: النتيجة المتوقعة: ينتقل الملك إلى (4) ثم يحدث الخطأ. النتيجة الفعلية: انتقل الملك إلى (3,0) دون خطأ.
3. الخطأ: عدم التحقق من الحدود على الرغم من أن الكود يحتوي على عمليات فحص الحدود لحركة الملك على رقعة الشطرنج، إلا أنه لا يأخذ في الاعتبار احتمال أن تؤدي إضافة أو طرح قيم 3 بت إلى أخطاء التمرير. على سبيل المثال، إذا كانت cur_x_pos هي 3'd7 (وهو ما لا ينبغي أن يحدث بناءً على التصميم الحالي، ولكن قد يكون بسبب تأثيرات خارجية أو مشكلات تصميمية أخرى)، فقد يؤدي طرح 1 إلى 0 بدلاً من 6 المتوقعة بسبب تمرير البتات . مثال مضاد: قد يكون هذا خطأً نظريًا لأن التصميم الحالي لا يسمح بحدوث مثل هذا السيناريو. ومع ذلك، فمن الضروري النظر في هذا لتصميم قوي. توصية: يمكن تحسين فحوصات الحدود، ويمكن إضافة فحوصات سلامة إضافية للتأكد من أن موقع الملك لا يخرج أبدًا عن النطاق الصالح.
ملاحظات مثيرة للاهتمام
- تحديد الخطأ: أشار نموذج GenAI إلى وجود تناقض محدد بين مواصفات التصميم وتنفيذه باستخدام مثال مضاد مناسب بما في ذلك السيناريو والانتقالات وتحليل النتائج الفعلية مقابل المتوقعة. لقد كان هذا بالفعل خطأً حقيقيًا يحتاج إلى التصحيح.
- سلبي خطأ: مثل أي أداة، فإن الذكاء الاصطناعي التوليدي ليس معصومًا من الخطأ. لقد سلط الضوء على مشكلة تبين بعد الفحص الدقيق أنها ليست خطأ. وهذا بمثابة تذكير بأنه على الرغم من أن الذكاء الاصطناعي يمكن أن يكون مساعدًا قيمًا، إلا أن الخبرة البشرية والحكم يظلان حاسمين في عملية التحقق من الصحة.
- مشكلة التحسين: بالإضافة إلى مجرد صيد الأخطاء، اقترح نموذج GenAI أيضًا تحسينًا - وهو اقتراح لتحسين التصميم الذي لم يكن بالضرورة إصلاح خطأ بل تحسين التصميم بشكل أكبر. توضح هذه الفائدة غير المتوقعة كيف يمكن للذكاء الاصطناعي أن يساعد ليس فقط في اكتشاف الأخطاء، بل أيضًا في اقتراح الابتكارات.
مشهد الغد - محررو/محللو كود HDL المدعومون من GenAI!
إن الآثار المترتبة على هذه التجربة عميقة. من خلال دمج أدوات الذكاء الاصطناعي التوليدي في تدفق تطوير كود HDL الخاص بنا، يمكننا:
- تسريع عملية البحث عن الأخطاء: يمكن أن تؤدي أتمتة المراحل الأولية لاكتشاف الأخطاء إلى تقليل ساعات العمل التي يتم قضاؤها في تصحيح الأخطاء في أشكال موجات المحاكاة الطويلة.
- تقليل تكلفة التحقق: مع وجود عدد أقل من الأخطاء التي يتعين على أدوات التحقق/المهندسين العثور عليها، يمكن تحقيق إغلاق التحقق في وقت أقرب، مما يؤدي إلى توفير التكاليف على المدى الطويل.
في الخلاصة
مع استمرار تطور صناعة أشباه الموصلات، فإن الاستفادة من أدوات مثل الذكاء الاصطناعي التوليدي يمكن أن تمنحنا ميزة، مما يضمن أن تصميماتنا ليست خالية من الأخطاء فحسب، بل تدفع أيضًا حدود ما هو ممكن. إنها مسألة وقت فقط عندما يكتسب الطيارون المساعدون والمكونات الإضافية اعتماداً واسع النطاق في جميع أنحاء الصناعة.
اقرأ أيضا:
الذكاء الاصطناعي التوليدي لتصميم السيليكون – المادة 3 (محاكاة تصميمي)
الذكاء الاصطناعي التوليدي لتصميم السيليكون – المادة 2 (تصحيح شكل الموجة الخاص بي)
الذكاء الاصطناعي التوليدي لتصميم السيليكون – المادة 1 (Code My FSM)
شارك هذا المنشور عبر:
- محتوى مدعوم من تحسين محركات البحث وتوزيع العلاقات العامة. تضخيم اليوم.
- PlatoData.Network Vertical Generative Ai. تمكين نفسك. الوصول هنا.
- أفلاطونايستريم. ذكاء Web3. تضخيم المعرفة. الوصول هنا.
- أفلاطون كربون، كلينتك ، الطاقة، بيئة، شمسي، إدارة المخلفات. الوصول هنا.
- أفلاطون هيلث. التكنولوجيا الحيوية وذكاء التجارب السريرية. الوصول هنا.
- المصدر https://semiwiki.com/eda/338432-generative-ai-for-silicon-design-article-4-hunt-for-bugs/
- :لديها
- :يكون
- :ليس
- $ UP
- 1
- المرتبة الرابعة
- 7
- 8
- a
- وفقا
- حسابي
- دقة
- تحقق
- في
- يقدم
- وأضاف
- مضيفا
- إضافي
- تبني
- بعد
- AI
- الكل
- السماح
- جنبا إلى جنب
- أيضا
- بالرغم ان
- دائما
- an
- تحليل
- و
- أي وقت
- هي
- مجموعة
- البند
- AS
- المساعد
- افترض
- At
- أتمتة
- على أساس
- BE
- أصبح
- يصبح
- قبل
- بدأ
- تستفيد
- بيركلي
- ما بين
- Beyond
- قطعة
- على حد سواء
- الحدود
- علة
- صيد الحشرات
- البق
- لكن
- by
- CAN
- قدرات
- حقيبة
- سبب
- التحقق
- الشيكات
- شطرنج
- شيبس
- أقرب
- إغلاق
- الكود
- مقارنة
- مجمع
- حالة
- أجرت
- على التوالي
- نظر
- يحتوي
- تواصل
- التكلفة
- وفورات في التكاليف
- استطاع
- خلق
- حرج
- حاسم
- حالياًّ
- حدد
- شرح
- يوضح
- تصميم
- تصاميم
- مفصلة
- كشف
- التطوير التجاري
- فعل
- اتجاه
- الاتجاهات
- تناقض
- هل
- إلى أسفل
- اثنان
- كل
- حافة
- فعالية
- آخر
- النهاية
- تعزيز
- ضمان
- ضمان
- كامل
- خطأ
- أخطاء
- أساسي
- الأثير (ETH)
- حتى
- يتطور
- يتجاوز
- متوقع
- تجربة
- خبرة
- خارجي
- أقل
- العثور على
- تدفق
- متابعيك
- في حالة
- أربعة
- تبدأ من
- وظيفي
- إضافي
- ربح
- توليدي
- الذكاء الاصطناعي التوليدي
- حقيقي
- منح
- هدف
- يذهب
- يحدث
- مساعدة
- تسليط الضوء
- عقد
- كيفية
- لكن
- HTTPS
- الانسان
- مطاردة
- صيد
- i
- هوية
- تحديد
- if
- التنفيذ
- آثار
- تحسن
- تحسين
- in
- بما فيه
- تشير
- العالمية
- في البداية
- الابتكارات
- إدخال
- مثل
- دمج
- إلى
- قضية
- مسائل
- IT
- انها
- م
- ملك
- نقص
- المشهد
- قيادة
- اليسار
- اسمحوا
- الاستفادة من
- مثل
- مما سيحدث
- طويل
- أمر
- ماكس العرض
- أقصى
- معنى
- ربما
- الأخطاء
- نموذج
- وحدة
- الأكثر من ذلك
- أكثر
- خطوة
- حركة
- التحركات
- my
- بالضرورة
- بحاجة
- سلبي
- أبدا
- of
- on
- ONE
- فقط
- تحسين
- or
- أخرى
- لنا
- خارج
- نتيجة
- الناتج
- في الخارج
- أساسي
- إلى
- أفلاطون
- الذكاء افلاطون البيانات
- أفلاطون داتا
- ان يرتفع المركز
- إمكانية
- ممكن
- منشور
- محتمل
- مدعوم
- يقدم
- عملية المعالجة
- عميق
- لائق
- المقترح
- المقدمة
- دفع
- رفع
- نطاق
- بدلا
- عرض
- توصية مجاناً
- تخفيض
- ريج
- الموثوقية
- لا تزال
- بقايا
- تذكير
- طلب
- نتيجة
- ثور
- حق
- قوي
- طريق
- القواعد
- يجري
- s
- مدخرات
- سيناريو
- القسم
- انظر تعريف
- أشباه الموصلات
- يخدم
- ينبغي
- السيليكون
- محاكاة
- متطور
- المصدر
- محدد
- مواصفة
- قضى
- مربع
- مراحل
- هذه
- نظام
- T
- أخذ
- من
- أن
- •
- then
- نظري
- ثلاثة
- الوقت
- مرات
- إلى
- أداة
- أدوات
- انتقال
- الانتقالات
- يثير
- أثار
- اثار
- تحول
- غير متوقع
- بناء على
- مستقيم
- us
- يستخدم
- صالح
- التحقق من صحة
- القيمة
- قيمنا
- القيم
- التحقق
- مقابل
- عموديا
- بواسطة
- vs
- وكان
- we
- متى
- التي
- في حين
- واسع
- سوف
- مع
- بدون
- العالم
- X
- زفيرنت
- صفر