NVIDIA
NVIDIA
NVIDIA arendab kiirendatud andmetöötluse ja tehisintellekti tehnoloogiaid, mida kasutatakse mängunduses, andmekeskustes, pilvandmetöötluses, tervishoius, tootmises, autotööstuses ja robootikas. Ettevõtte tegevus hõlmab graafikaprotsessoreid, tehisintellekti platvorme, simulatsiooni ja valdkonnapõhiseid lahendusi, sealhulgas NVIDIA Omniverse’i koostööpõhiste 3D-töövoogude jaoks, NVIDIA DRIVE’i autonoomsete sõidukite arendamiseks ning NVIDIA Clar​at tervishoiurakenduste jaoks. Ettevõte koondab suuri tehnilisi meeskondi, kes töötavad täiustatud andmetöötlust, simulatsiooni ja tehisintellektil põhinevat analüütikat toetava taristu ning tarkvara kallal.

NVIDIA ASIC-i verifitseerimisinsener, mäluhaldus (kohapeal, Durham)

Verifitseeri NVIDIA GPU-de mäluhaldusüksusi, koostades täiustatud GPU-de jaoks SystemVerilogi testpingid, katvuse plaanid ja verifitseerimise taristu.

Kirjeldus

  • Analüüsi mäluhaldusüksuse ülesehitust ja teostust
  • Määra verifitseerimise ulatus
  • Loo verifitseerimise taristu, sealhulgas testpingid, BFM-id, kontrollijad ja monitorid
  • Rakenda testi- ja katvuseplaane
  • Kinnita disaini korrektsus
  • Tee koostööd arhitektide, disainerite ja tarkvarainseneridega eri asukohtades
  • Aita kujundada testpinkide metoodika pikaajalist suunda, kasutades täiustatud verifitseerimistavasid

Nõuded

  • Õpid praegu või oled hiljuti lõpetanud elektrotehnika, arvutiteaduse, arvutitehnika või seotud eriala bakalaureuse- või magistriõppes või sul on samaväärne töökogemus
  • Arvutiarhitektuuri ning ASIC-i disaini ja verifitseerimise metoodikate kogemus
  • SystemVerilogi, C ja/või C++, testide kavandamise, katvuse saavutamise ja korduvkasutatavate verifitseerimiskomponentide väga hea tundmine
  • Piiratud juhuslikul testimisel, funktsionaalsel katvusel ja väitepõhisel verifitseerimisel põhinevate meetodite praktiline tundmine
  • Objektorienteeritud programmeerimise põhimõtete mõistmine
  • Kogemus simulatsioonivahenditega, nagu VCS ja IES, ning silumisvahenditega, nagu Debussy ja GDB
  • Tugev silumis- ja probleemilahendusoskus
  • Mälualamsüsteemi mikroarhitektuuri, vahemälude topoloogiate ja poliitikate, mäluhalduse, ühenduste ja/või arbitraatorite ülesehituse mõistmine
  • Kogemus UVM-i, SystemVerilogi kontrollijate ja skooritabelite, väitepõhise verifitseerimise ning poolformaalse verifitseerimisega (SFV)
  • Perli või Pythoni tundmine

Hüved

  • Aktsiaomand
  • Hüved