Codasip
Codasip
Codasip هي شركة متخصصة في الملكية الفكرية لأشباه الموصلات وتصميم المعالجات، وتركّز على تقنية RISC-V والشرائح الآمنة والسلامة الوظيفية. تشمل محفظة الشركة نوى تطبيقات RISC-V ‏64 بت المزودة بتقنية CHERI، ومعالجات للأنظمة المضمّنة والسيارات، وأدوات تصميم مثل Codasip Studio ولغة CodAL. تطوّر الشركة كلاً من الملكية الفكرية القياسية للمعالجات والمنصات المصممة خصيصاً للأسواق ذات المتطلبات الصارمة، بما في ذلك قطاعات السيارات والدفاع والطيران والأنظمة الصناعية والبنية التحتية الحيوية. ومن خلال فرق تعمل في مجالي العتاد والأمن السيبراني، تطوّر Codasip تقنيات للمعالجات تهدف إلى تلبية احتياجات الأمان والموثوقية للتطبيقات الخاضعة للتنظيم.

مهندس تحقق – معالجات RISC-V (نظام هجين، التشيك)

انضم إلى Codasip للتحقق من معالجات RISC-V وامتداداتها ضمن شركة آمنة متخصصة في هندسة أشباه الموصلات. طوّر مسارات تحقق مؤتمتة لتصميمات وحدات المعالجة المركزية المتقدمة.

الوصف

  • التحقق من معالجات RISC-V وامتدادات المعالجات
  • إنشاء حلول تحقق تشمل بيئات الاختبار ومكوّناتها وتوليد المحفزات والبيئات الرسمية
  • العمل مع المهندسين لإكمال أنشطة التحقق للمكوّنات والأنظمة الفرعية
  • وضع استراتيجيات تحقق للكتل والأنظمة الفرعية واختيار الأدوات المناسبة
  • تقييم المواصفات التقنية وتقديم ملاحظات تركز على التحقق
  • تنفيذ عمليات المحاكاة والتحقيق في العيوب وتحديد الأسباب الجذرية للمشكلات المعقدة
  • تخطيط العمل المكلّف وتقديره وتحديد أولوياته ومتابعته
  • قياس مؤشرات أداء التحقق وإعداد التقارير عنها
  • تطوير مسارات عمل مؤتمتة للتحقق
  • التحقق من وحدات المعالجة المركزية المتقدمة، بما في ذلك تصميمات المعالجات المعقدة ذات التنفيذ خارج الترتيب
  • تولي مسؤولية مجالات محددة من التصميم وتطبيق أساليب تحقق متعددة

المتطلبات

  • الإقامة حاليًا في جمهورية التشيك وامتلاك الحق في العمل فيها
  • امتلاك خبرة تجارية في تطبيق أساليب التحقق الوظيفي للمعالجات المركزية أو دوائر ASIC أخرى، بما في ذلك المحاكاة وتوليد الاختبارات وتحليل التغطية والمحاكاة على مستوى البوابات
  • فهم التحقق من معماريات وحدات المعالجة المركزية أو غيرها من الملكية الفكرية
  • كتابة تعليمات برمجية واضحة وموجزة باستخدام SystemVerilog أو Python أو C++ أو Rust أو لغة مماثلة
  • امتلاك خبرة سابقة في تولي مسؤولية التحقق من كتلة تصميمية
  • استخدام Linux لأتمتة المهام الروتينية
  • معرفة أدوات التحكم في الإصدارات مثل Git وSVN
  • فهم معمارية RISC-V
  • امتلاك فهم قوي لأنظمة الحاسوب ومعمارياتها
  • إظهار التفكير التحليلي والقدرة على العمل ضمن فريق
  • العمل بفاعلية عبر الفرق لتصحيح المشكلات وتحديد أسبابها الجذرية

المزايا

  • لا يحدد الإعلان مزايا أو امتيازات أو تعويضًا إضافيًا.