MST · الذكاء الاصطناعي للأعمال الهندسية · إعداد MPW
دليل MPW: السجلات والبيئات وعروض الأسعار
ثلاثة تمارين قابلة للتكرار لتحديد العائق وتسجيل المجهول والتحضير للمراجعة الهندسية التالية.
الأمثلة من إعداد MST بترخيص MIT، ولا تتضمن تصميمات عملاء أو PDK لمسبك. تُحفظ المعرّفات التقنية ونصوص السجلات الأصلية بلغتها المصدرية.
مراجعة سجلات التحقق
ابدأ بصيغة مدعومة وميّز أول خطأ من التحذيرات المتكررة. طول الرسالة لا يحدد السبب.
خطوات التنفيذ
- افتح مراجعة السجلات واختر النص المعلّم ثم حمّل المثال.
- تظهر أربع نتائج في ثلاث مجموعات. يتكرر PSM-0038 مرتين، وأول خطأ في السطر 4. تبقى الرسائل الأصلية متاحة.
- غيّر الصيغة إلى KLayout وأعد تحميل المثال: ثلاثة سجلات في فئتين مع إحداثيات المستطيلات الأصلية بالميكرومتر ضمن الخلية المرتبطة.
- نزّل التقرير وافتح markers.lyrdb في متصفح العلامات داخل KLayout. في الحالة الحقيقية، راجع التصميم وأدلة التشغيل الأصلية.
- جرّب مقتطف INFO فقط ونصًا غير معروف وXML مقطوعًا. لا يُصنّف أي منها على أنه تحقق ناجح.
النتيجة المتوقعة
يحتوي المثال على 4 نتائج معلّمة أو 3 سجلات KLayout و3 علامات مع التكرار. العدد ليس عدد العيوب بعد الاستثناءات؛ تُحفظ الوسوم والتعليقات دون اعتماد أي استثناء.
إعادة التنفيذ محليًا
يستخدم البرنامج KLayout 0.30.12 لإنشاء قاعدة بعلامات اصطناعية، ولا ينفذ قواعد مسبك. شغّله في بيئة افتراضية منفصلة ثم تحقق باستخدام verify.py.
python3 -m venv .venv .venv/bin/python -m pip install -r requirements.txt .venv/bin/python generate_markers.py .venv/bin/python verify.py
المصادر والإصدارات المدعومة
مقارنة بيئة PDK
تطابق اسم العقدة لا يكفي. قارن نوع PDK وبصمة بيان المصدر وإصدارات الأدوات ووجود ملفات النماذج قبل مقارنة التشغيلات.
خطوات التنفيذ
- حمّل المثال: البيان الأيسر مرجع والأيمن بيئة مختلفة، وكلاهما اصطناعي.
- راجع اختلاف إصدار PDK وKLayout وغياب النموذج. يظهر ngspice كغير معروف، وليس كمفقود أو متوافق دون دليل.
- استبدل المدخل الأيمن بملف observed-match.json. تتطابق الحقول، لكن هذا لا يثبت تنفيذ محاكاة.
- اجمع الأدلة في نفس بيئة تشغيل أدوات EDA. يقرأ البرنامج الدليل المحدد والإصدارات فقط، ولا يثبت PDK أو يعدله.
- احصل على متطلبات معتمدة من مسؤول المشروع. صحح البيئة وأعد جمع الأدلة ثم شغّل التصميم المرجعي المعتمد وفق التعليمات الرسمية للأداة.
النتيجة المتوقعة
يعطي المثال اختلافين وملفًا مفقودًا وإصدارًا غير معروف وتطابقين؛ ويعطي المثال المتطابق 6 تطابقات. حقل pdk_revision هو SHA-256 لملف SOURCES وليس اسم إصدار عملية مخمّنًا.
إعادة التنفيذ محليًا
شغّل برنامج الجمع باستخدام Python 3.9 أو أحدث داخل بيئة EDA وحدد دليل SKY130 الفعلي. عند غياب أداة أو SOURCES يبقى الناتج null. وجود النموذج لا يثبت تحميله. اتبع وثائق PDK_ROOT وتثبيت الإصدارات الموافقة لإصدار OpenLane لديك.
python3 collect_environment.py --pdk-dir /path/to/sky130A > observed.json python3 verify.py
المصادر والإصدارات المدعومة
مقارنة نطاق عروض MPW
قد تكون التكلفة أعلى رغم انخفاض سعر المساحة إذا زاد الحد الأدنى للفوترة. افصل شكل العينة المادي عن نطاق الاختبار.
خطوات التنفيذ
- حمّل المثال الافتراضي: مساحة 4 مم² و20 عينة مغلفة في كلا العرضين، مع تطابق مواصفات التغليف والاختبار.
- يحسب A مساحة 10 مم² بسعر 100 دولار/مم²؛ ويحسب B مساحة 4 مم² بسعر 200 دولار/مم². التصنيع وحده 1,000 مقابل 800 دولار.
- رسوم اختبار A فارغة، لذا تعرض الأداة المجموع المعروف 1,550 دولارًا دون اختلاق إجمالي أو ترتيب مقابل B.
- أدخل 100 لرسوم اختبار A. تصبح إجماليات الفئات 1,650 و1,260 دولارًا، والفرق A − B يساوي 390 دولارًا.
- غيّر عملة B أو مواصفة التغليف أو نطاق الاختبار أو الكمية. يُحجب الفرق حتى تتطابق النطاقات المدخلة مجددًا.
النتيجة المتوقعة
A: max(4,10) × 100 + 200 + 300 + 100 + 50 = 1,650 دولارًا. B: max(4,4) × 200 + 0 + 300 + 100 + 60 = 1,260 دولارًا. قد تمنع اختلافات الاختبارات أو الاستثناءات المقارنة الشرائية المباشرة.
إعادة التنفيذ محليًا
يستخدم verify.py نوع Decimal في Python للتحقق المستقل من الإجماليات، ويستخدم المتصفح أعدادًا صحيحة مُقاسة بدقة. لا يوفر أي منهما عرض مورّد أو يفترض سعر صرف.
python3 verify.py