A Codasip a RISC-V technológiára, a biztonságos szilíciummegoldásokra és a funkcionális biztonságra összpontosító félvezetőipari szellemitulajdon- és processzortervező vállalat. Portfóliójába CHERI-kompatibilis, 64 bites RISC-V alkalmazásprocesszor-magok, beágyazott rendszerekhez és járműipari felhasználásra készült processzorok, valamint olyan tervezőeszközök tartoznak, mint a Codasip Studio és a CodAL nyelv. A vállalat szabványos processzor-IP-t és egyedi platformokat is fejleszt olyan igényes piacok számára, mint a járműipar, a védelem, az avionika, az ipari rendszerek és a kritikus infrastruktúra. A hardver- és kiberbiztonsági területen dolgozó csapataival a Codasip olyan processzortechnológiákat fejleszt, amelyek a szabályozott alkalmazások biztonsági és megbízhatósági igényeit célozzák.
Verifikációs mérnök – RISC-V CPU-k (hibrid, Csehország)
Csatlakozz a Codasiphez, és ellenőrizd a RISC-V processzorokat és bővítményeket egy biztonságos félvezető-architektúrával foglalkozó vállalatnál. Építs automatizált verifikációs folyamatokat fejlett CPU-tervekhez.
Leírás
- RISC-V processzorok és processzorbővítmények ellenőrzése
- Verifikációs megoldások létrehozása tesztkörnyezetekhez, tesztkörnyezeti komponensekhez, stimulusgeneráláshoz és formális környezetekhez
- Együttműködés a mérnökökkel a komponensek és alrendszerek verifikációs feladatainak elvégzésében
- Verifikációs stratégiák kialakítása blokkokhoz és alrendszerekhez, valamint megfelelő eszközök kiválasztása
- A műszaki specifikációk értékelése és verifikációközpontú visszajelzés adása
- Szimulációk futtatása, hibák kivizsgálása és összetett problémák kiváltó okainak meghatározása
- A kijelölt munka megtervezése, megbecslése, priorizálása és nyomon követése
- A verifikációs teljesítménymutatók mérése és jelentése
- Automatizált verifikációs munkafolyamatok fejlesztése
- Fejlett CPU-k verifikációja, beleértve az összetett, sorrenden kívüli végrehajtású processzortervezéseket
- A terv kijelölt területeinek önálló felelősségvállalása és többféle verifikációs megközelítés alkalmazása
Követelmények
- Jelenleg a Cseh Köztársaságban tartózkodsz, és rendelkezel az ottani munkavégzéshez szükséges jogosultsággal
- Rendelkezel szakmai tapasztalattal CPU-kon vagy más ASIC-eken alkalmazott funkcionális processzorverifikációs módszerekben, beleértve a szimulációt, a tesztgenerálást, a lefedettségelemzést és a kapuszintű szimulációt
- Érted a CPU-architektúrák vagy más szellemi tulajdonok verifikációját
- Képes vagy világos, tömör kódot írni SystemVerilog, Python, C++, Rust vagy hasonló nyelven
- Korábban már önállóan feleltél egy tervezési blokk verifikációjáért
- Linuxot használsz rutinfeladatok automatizálására
- Ismered az olyan verziókezelő eszközöket, mint a Git és az SVN
- Érted a RISC-V architektúrát
- Erős ismeretekkel rendelkezel a számítógépes rendszerekről és az architektúráról
- Analitikus gondolkodást és együttműködési készséget mutatsz
- Hatékonyan dolgozol együtt különböző csapatokkal a problémák hibakeresésében és kiváltó okaik azonosításában
Juttatások
- A hirdetés nem részletez juttatásokat, egyéb előnyöket vagy kiegészítő kompenzációt.