Codasip je podjetje za polprevodniško intelektualno lastnino in razvoj procesorjev, osredotočeno na tehnologijo RISC-V, varne silicijeve rešitve in funkcionalno varnost. Njegov portfelj vključuje 64-bitna aplikacijska jedra RISC-V s podporo za CHERI, vgrajene in avtomobilske procesorje ter orodja za razvoj, kot sta Codasip Studio in jezik CodAL. Podjetje razvija standardno procesorsko intelektualno lastnino in prilagojene platforme za zahtevne trge, vključno z avtomobilsko industrijo, obrambo, letalsko elektroniko, industrijskimi sistemi in kritično infrastrukturo. Ekipe, ki delujejo na področju strojne opreme in kibernetske varnosti, razvijajo procesorske tehnologije za izpolnjevanje varnostnih in zanesljivostnih potreb reguliranih aplikacij.
Inženir verifikacije – procesorji RISC-V (hibridno, Češka)
Pridružite se podjetju Codasip pri verifikaciji procesorjev RISC-V in razširitev v varnem podjetju za polprevodniške arhitekture. Ustvarjajte avtomatizirane verifikacijske tokove za napredne zasnove CPE.
Opis
- Validirajte procesorje RISC-V in razširitve procesorjev
- Ustvarjajte verifikacijske rešitve, ki zajemajo testna okolja, komponente testnih okolij, generiranje vzbuditev in formalna okolja
- Sodelujte z inženirji pri dokončanju verifikacijskih dejavnosti za komponente in podsisteme
- Vzpostavljajte verifikacijske strategije za bloke in podsisteme ter izbirajte ustrezna orodja
- Ocenjujte tehnične specifikacije in zagotavljajte povratne informacije, osredotočene na verifikacijo
- Izvajajte simulacije, raziskujte napake in ugotavljajte temeljne vzroke zapletenih težav
- Načrtujte, ocenjujte, določajte prednostne naloge in spremljajte dodeljeno delo
- Merite in poročajte o metrikah uspešnosti verifikacije
- Razvijajte avtomatizirane delovne tokove za verifikacijo
- Verificirajte napredne CPE, vključno z zapletenimi procesorji z izvajanjem zunaj vrstnega reda
- Prevzemajte odgovornost za določena področja zasnove in uporabljajte več pristopov k verifikaciji
Zahteve
- Trenutno prebivate na Češkem in imate pravico do dela tam
- Imate komercialne izkušnje z uporabo funkcionalnih metod verifikacije procesorjev pri CPE ali drugih ASIC, vključno s simulacijo, generiranjem testov, analizo pokritosti in simulacijo na ravni logičnih vrat
- Razumete verifikacijo arhitektur CPE ali druge intelektualne lastnine
- Pišete jasno in jedrnato kodo v SystemVerilogu, Pythonu, C++, Rustu ali primerljivem jeziku
- Predhodno ste bili odgovorni za verifikacijo oblikovalskega bloka
- Linux uporabljate za avtomatizacijo rutinskih opravil
- Poznate orodja za nadzor različic, kot sta Git in SVN
- Razumete arhitekturo RISC-V
- Dobro razumete računalniške sisteme in arhitekturo
- Izkazujete analitično razmišljanje in sposobnost sodelovanja v ekipi
- Učinkovito sodelujete med ekipami pri odpravljanju napak in ugotavljanju temeljnih vzrokov
Ugodnosti
- V objavi niso navedene ugodnosti, dodatki ali dodatno plačilo.