NVIDIA o‘yinlar, ma’lumotlar markazlari, bulutli hisoblash, sog‘liqni saqlash, ishlab chiqarish, avtomobilsozlik va robototexnika sohalarida qo‘llaniladigan tezlashtirilgan hisoblash hamda sun’iy intellekt texnologiyalarini ishlab chiqadi. Kompaniyaning faoliyati grafik protsessorlar, sun’iy intellekt platformalari, simulyatsiya va muayyan sohalarga mo‘ljallangan yechimlarni qamrab oladi. Bular qatoriga hamkorlikdagi 3D ish jarayonlari uchun NVIDIA Omniverse, avtonom transport vositalarini ishlab chiqish uchun NVIDIA DRIVE va sog‘liqni saqlash ilovalari uchun NVIDIA Clara kiradi. Kompaniya ilg‘or hisoblash, simulyatsiya va sun’iy intellekt asosidagi tahlilni qo‘llab-quvvatlaydigan infratuzilma hamda dasturiy ta’minot ustida ishlaydigan yirik texnik jamoalarni birlashtiradi.
NVIDIA ASIC verifikatsiya muhandisi, xotirani boshqarish (Ofisda, Durham)
NVIDIA’da ilg‘or GPU dizaynlari uchun SystemVerilog testbenchlari, qamrov rejalari va verifikatsiya infratuzilmasini yaratib, GPU xotirasini boshqarish bloklarini verifikatsiya qiling.
Tavsif
- Xotirani boshqarish blokining dizayni va amalga oshirilishini tahlil qilish
- Verifikatsiya doirasini belgilash
- Testbenchlar, BFMlar, tekshiruvchilar va monitorlarni o‘z ichiga olgan verifikatsiya infratuzilmasini yaratish
- Test va qamrov rejalarini bajarish
- Dizayn to‘g‘riligini tasdiqlash
- Bir nechta joylardagi arxitektorlar, dizaynerlar va dasturiy ta’minot muhandislari bilan ishlash
- Ilg‘or verifikatsiya amaliyotlaridan foydalanib, testbench metodologiyasining uzoq muddatli yo‘nalishini shakllantirishga yordam berish
Talablar
- Elektr muhandisligi, kompyuter fanlari, kompyuter muhandisligi yoki tegishli yo‘nalishda bakalavr yoki magistratura bosqichida tahsil olayotgan yoxud yaqinda tamomlagan bo‘lish yoki unga teng tajribaga ega bo‘lish
- Kompyuter arxitekturasi hamda ASIC dizayni va verifikatsiya metodologiyalari bo‘yicha tajriba
- SystemVerilog, C va/yoki C++, testlarni rejalashtirish, qamrovni yakunlash va qayta foydalaniladigan verifikatsiya komponentlarini yaxshi bilish
- Cheklangan tasodifiy testlash, funksional qamrov va assertion asosidagi verifikatsiya bo‘yicha ishchi bilim
- Obyektga yo‘naltirilgan dasturlash tamoyillarini tushunish
- VCS va IES kabi simulyatsiya vositalari, shuningdek Debussy va GDB kabi nosozliklarni tuzatish vositalari bilan ishlash tajribasi
- Nosozliklarni tuzatish va muammolarni hal qilish qobiliyati yuqori bo‘lish
- Xotira quyi tizimi mikroarxitekturasi, kesh topologiyalari va siyosatlari, xotirani boshqarish, interconnectlar va/yoki arbitr dizaynlarini tushunish
- UVM, SystemVerilog tekshiruvchilari va scoreboardlar, assertion asosidagi verifikatsiya hamda Yarim formal verifikatsiya (SFV) bo‘yicha tajriba
- Perl yoki Python bilimlari
Imtiyozlar
- Aksiyalar
- Imtiyozlar