الوصف الوظيفي
دور المشروع : مهندس تحقق رسمي
وصف دور المشروع : ضمان صحة التصميم باستخدام أساليب رياضية مثل التحقق من النماذج والتحقق من المعادلات، دون الاعتماد على المحاكاة. اكتشاف الأخطاء في حالات الزاوية مبكرًا في دورة التصميم لتحسين الجودة وتقليل وقت التحقق.
المهارات المطلوبة : تحقق SoC
المهارات الجيدة أن تكون : لا يوجد
يتطلب الحد الأدنى 3 سنوات من الخبرة
المؤهل التعليمي : 15 سنة تعليم بدوام كامل
ملخص: كمهندس تحقق رسمي، ستضمن صحة التصميم باستخدام أساليب رياضية مثل التحقق من النماذج والتحقق من المعادلات. سيتضمن يومك النموذجي تحليل مواصفات التصميم، وتطوير نماذج رسمية، وتطبيق تقنيات التحقق لاكتشاف الأخطاء في حالات الزاوية مبكرًا في دورة التصميم. ستعزز هذه المقاربة الاستباقية بشكل كبير جودة التصاميم وتقلل من الوقت الإجمالي للتحقق، مما يسمح بعملية تطوير أكثر كفاءة. الأدوار والمسؤوليات: - من المتوقع أن تؤدي بشكل مستقل وتصبح خبيرًا في المجال.
- مطلوب المشاركة النشطة / المساهمة في مناقشات الفريق.
- المساهمة في تقديم حلول للمشاكل المتعلقة بالعمل.
- التعاون مع الفرق متعددة التخصصات لجمع المتطلبات وتقديم الملاحظات على مواصفات التصميم.
- تطوير وصيانة بيئات التحقق الرسمي لضمان تغطية شاملة لسيناريوهات التصميم. المهارات المهنية والتقنية: - المهارات الأساسية المطلوبة: الكفاءة في تحقق SoC.
- فهم قوي لتقنيات وأدوات التحقق الرسمي.
- خبرة في منهجيات التحقق من النماذج والتحقق من المعادلات.
- الإلمام بلغات وصف الأجهزة مثل Verilog أو VHDL.
- القدرة على تحليل التصاميم المعقدة وتحديد القضايا المحتملة في التحقق. معلومات إضافية: - يجب أن يكون لدى المرشح الحد الأدنى من 3 سنوات من الخبرة في تحقق SoC.
- هذه الوظيفة مقرها في مكتبنا في بنغالور.
- يتطلب 15 سنة من التعليم بدوام كامل.
لقد تمت ترجمة هذا الإعلان الوظيفي بواسطة الذكاء الاصطناعي وقد يحتوي على بعض الاختلافات أو الأخطاء البسيطة.
