Senior Staff formálisverifikáció-mérnök (GPU)

Stack

Feladatok

• ▹Mély megértés kialakítása a 3D-s grafikai hardver pipeline-ról, funkciókészletekről, adatútvonalakról és blokk-interfészekről
• ▹A formális módszerekkel verifikálandó kritikus grafikai területek azonosítása
• ▹Formal Property Verification (FPV) tesztterv kidolgozása, assertion-alapú verifikációs testbench fejlesztése, RTL-hibák keresése, formális lezárási mátrixok elérése
• ▹Együttműködés a globális GPU rendszerarchitektúra-, RTL-tervezési és DV-csapatokkal a projektcélok eléréséért
• ▹Kapcsolattartás EDA-beszállítókkal, új és innovatív DV-módszertanok feltárása a lezárási minőség javítására
• ▹Egyéb formális alkalmazások (DPV, C2RTL SEQ, RTL2RTL SEQ) használata

Elvárások

• ▹Alapdiploma + 6 év, mesterdiploma + 5 év, vagy PhD + 4 év szoftver-, hardver- vagy rendszermérnöki tapasztalat számítástechnikai, villamosmérnöki vagy rokon területen
• ▹Iparági szabványos formális eszközök jártassága, gyakorlati SystemVerilog Assertions írási tapasztalat
• ▹Tapasztalat formális bizonyítási komplexitás megoldásában absztrakciós technikákkal

Előny

• ▹Előzetes GPU-architektúra ismeret
• ▹Tapasztalat más formális alkalmazásokkal: DPV, C2RTL SEQ, RTL2RTL SEQ

Soft skillek

Amit kínálunk

• ▹Versenyképes éves diszkrecionális bónuszprogram
• ▹Éves RSU-juttatás lehetősége
• ▹Kiemelkedően versenyképes béren kívüli juttatási csomag

A munkáltatóról

A Qualcomm® Adreno™ GPU a PC-platformokat és a mobil UI-t, játékokat és fejlett grafikai alkalmazásokat viszi új szintre, kiemelkedő vizuális élményt és nagy teljesítményű videó streamet nyújtva.