NVIDIA
NVIDIA
NVIDIA kehittää nopeutettuun laskentaan ja tekoälyyn liittyviä teknologioita, joita käytetään pelaamisessa, datakeskuksissa, pilvipalveluissa, terveydenhuollossa, valmistuksessa, autoteollisuudessa ja robotiikassa. Sen toiminta kattaa grafiikkasuorittimet, tekoälyalustat, simuloinnin ja toimialakohtaiset ratkaisut, kuten NVIDIA Omniversen yhteistoiminnallisiin 3D-työnkulkuihin, NVIDIA DRIVEn autonomisten ajoneuvojen kehittämiseen ja NVIDIA Claran terveydenhuollon sovelluksiin. Yritys kokoaa yhteen laajoja teknisiä tiimejä, jotka työskentelevät edistynyttä laskentaa, simulointia ja tekoälypohjaista analytiikkaa tukevan infrastruktuurin ja ohjelmistojen parissa.

NVIDIAn ASIC-verifiointi-insinööri, muistinhallinta (paikan päällä, Durham)

Vastaa NVIDIAn grafiikkasuorittimien muistinhallintayksiköiden verifioinnista rakentamalla SystemVerilog-testipenkit, kattavuussuunnitelmat ja verifiointi-infrastruktuurin edistyneille GPU-malleille.

Kuvaus

  • Analysoi muistinhallintayksikön suunnittelu ja toteutus
  • Määritä verifioinnin laajuus
  • Rakenna verifiointi-infrastruktuuria, kuten testipenkkejä, BFM-malleja, tarkistimia ja monitoreja
  • Toteuta testi- ja kattavuussuunnitelmat
  • Varmista suunnittelun oikeellisuus
  • Työskentele arkkitehtien, suunnittelijoiden ja ohjelmistoinsinöörien kanssa useissa toimipisteissä
  • Osallistu testipenkkimenetelmien pitkän aikavälin kehittämiseen hyödyntämällä edistyneitä verifiointikäytäntöjä

Vaatimukset

  • Suoritat parhaillasi tai olet hiljattain suorittanut sähkötekniikan, tietojenkäsittelytieteen, tietotekniikan tai lähialan kandidaatin- tai maisterintutkinnon, tai sinulla on vastaava kokemus
  • Kokemusta tietokonearkkitehtuurista sekä ASIC-suunnittelun ja -verifioinnin menetelmistä
  • SystemVerilogin, C:n ja/tai C++:n, testisuunnittelun, kattavuuden sulkemisen ja uudelleenkäytettävien verifiointikomponenttien vahva hallinta
  • Käytännön tuntemus rajoitetusta satunnaistestauksesta, toiminnallisesta kattavuudesta ja väitepohjaisesta verifioinnista
  • Olio-ohjelmoinnin periaatteiden ymmärtäminen
  • Kokemusta simulointityökaluista, kuten VCS:stä ja IES:stä, sekä virheenkorjaustyökaluista, kuten Debussysta ja GDB:stä
  • Vahvat virheenkorjaus- ja ongelmanratkaisutaidot
  • Muistialijärjestelmän mikroarkkitehtuurin, välimuistotopologioiden ja -käytäntöjen, muistinhallinnan, yhteenliitäntöjen ja/tai arbitraattorirakenteiden tuntemus
  • Kokemusta UVM:stä, SystemVerilog-tarkistimista ja pistetauluista, väitepohjaisesta verifioinnista sekä semiformal verification -menetelmästä (SFV)
  • Perlin tai Pythonin tuntemus

Edut

  • Osakeomistus
  • Edut