منذ 4 ساعات
أهلا بك عزيزي المتابع لموقع (journey for learn) نقدم دورات بكوبونات متاحة لاول 1000 تسجيل مجاني فقط وكوبونات اخري لفترة محدودة فاذا كنت تريد ان تحصل علي كل الكورسات علي موقعنا وان تكون اول المسجلين في الكورسات المجانية قم بتسجيل الدخول أوقم بالدخول علي وسائل التواصل الاجتماعي وخصوصا التليجرام نوضح الوصف المختصر والطويل للدورات لكي تعرف الدروس التي سوف تتعلمها بسهولة ويسر :
أطلق العنان لقوة التحقق الرسمي وتوقف عن إضاعة أسابيع في عمليات المحاكاة غير الضرورية. مع تزايد تعقيد تصميمات الرقائق، أصبح الاعتماد فقط على المحاكاة الديناميكية للتحقق من قوائم الشبكة على مستوى البوابة بمثابة عنق الزجاجة. يمكن أن يتطلب تغيير RTL واحدًا أسابيع من وقت المحاكاة فقط للتأكد من أن أداة التوليف الخاصة بك قامت بعملها بشكل صحيح. يقدم التحقق الرسمي بديلاً أسرع وشاملاً ومثبتًا رياضيًا. هذه الدورة هي دليلك الكامل للتحقق الرسمي باستخدام Synopsys Formalality، وهي أداة التحقق من التكافؤ القياسية في الصناعة. سواء كنت تتحقق من RTL مقابل RTL، أو RTL مقابل netlist على مستوى البوابة، أو netlist مقابل netlist، فإن هذه الدورة تمنحك المعرفة خطوة بخطوة للقيام بذلك بشكل صحيح. ما الذي يجعل هذه الدورة مختلفة؟ نحن لا نقوم بتدريس النظرية فقط. نحن نسير خلال تدفق الشكليات بالكامل من النهاية إلى النهاية، ثم نطبقه في ثلاثة مختبرات عملية حيث ستقوم بتحميل تصميمات حقيقية، وتشغيل المطابقة والتحقق، وتفسير النتائج. ولكن نظرًا لأن الهندسة الحقيقية ليست دائمًا فحوصات خضراء، فقد خصصنا قسمًا كاملاً لحالات التصحيح - موضحًا لك بالضبط كيفية تحليل نقاط المقارنة الفاشلة وتتبع الأقماع المنطقية وحل حالات عدم التطابق. مخطط الدورة التدريبية:- المحاضرة 1: مقدمة للتحقق الرسمي - لماذا التحقق الرسمي؟ متى تستخدمه؟ خيارات الأداة.
- المحاضرة 2: مكونات التحقق الرسمية والتحقق من تكافؤ التصميم - الغوص العميق في المخاريط المنطقية، ومقارنة النقاط، ومفهوم المطابقة.
- المحاضرة 3: تدفق الإجراءات الشكلية - إرشادات كاملة من الاستدعاء إلى إعداد التقارير، بما في ذلك الأوامر المهمة مثل set_svf، وset_constant، وset_dont_verify_points.
- المحاضرة 4: المعمل 1 - الأساسي التحقق الرسمي - قم بتحميل تصميماتك الأولى وقم بإجراء عملية تحقق ناجحة.
- المحاضرة 5: المعمل 2 - التحقق المتوسط - التعامل مع أوضاع الفحص والثوابت.
- المحاضرة 6: المعمل 3 - التحقق المعقد - العمل مع إرشادات SVF وتحليل تقارير المطابقة.
- المحاضرة 7: حالات تصحيح الأخطاء - سيناريوهات الفشل في العالم الحقيقي. تعلم كيفية التتبع والتحليل والإصلاح.
ما هي المتطلبات الأساسية لدخول الدورة والتسجيل فيها على موقعنا؟ رحلة التعلم:
(احصل على الدورة للدخول إلى الموقع والتسجيل)
يجب أن يكون لديك بريد إلكتروني (حساب بريد) تتذكره لنفسك وأيضًا يجب أن تتذكر كلمة مرور البريد الإلكتروني الذي ستسجل به ، وإذا لم يكن لديك حساب بريد إلكتروني ، فمن الأفضل إنشاء حساب (Gmail)
0 تعليقات
تسجيل دخول
