Codasip on pooljuhtide IP-le ja protsessoridisainile keskenduv ettevõte, mille fookuses on RISC-V-tehnoloogia, turvaline räni ja funktsionaalne ohutus. Ettevõtte portfelli kuuluvad CHERI-tehnoloogiat toetavad 64-bitised RISC-V rakendustuumad, manussüsteemide ja autotööstuse protsessorid ning disainivahendid, nagu Codasip Studio ja CodAL-keel. Codasip arendab nii standardset protsessori-IP-d kui ka kohandatud platvorme nõudlikele turgudele, sealhulgas autotööstusele, kaitsetööstusele, lennundusele, tööstussüsteemidele ja kriitilisele taristule. Riistvara- ja küberturvalisuse meeskonnad ühendades loob ettevõte protsessoritehnoloogiaid, mis on mõeldud reguleeritud rakenduste turva- ja töökindlusvajaduste täitmiseks.
Verifitseerimisinsener – RISC-V protsessorid (hübriidtöö, Tšehhi)
Liitu Codasipiga RISC-V-protsessoreid ja laiendusi verifitseerima turvalises pooljuhtide arhitektuuriga tegelevas ettevõttes. Loo täiustatud protsessorikavandite jaoks automatiseeritud verifitseerimise töövooge.
Kirjeldus
- Valideeri RISC-V-protsessoreid ja protsessorilaiendusi
- Loo verifitseerimislahendusi, mis hõlmavad testpinke, testpingi komponente, stiimulite genereerimist ja formaalseid keskkondi
- Tööta koos inseneridega komponentide ja alamsüsteemide verifitseerimistegevuste lõpuleviimiseks
- Koosta plokkide ja alamsüsteemide verifitseerimisstrateegiaid ning vali sobivad tööriistad
- Hinda tehnilisi spetsifikatsioone ja anna verifitseerimisele keskenduvat tagasisidet
- Käivita simulatsioone, uuri defekte ja tuvasta keerukate probleemide algpõhjused
- Planeeri, hinda, prioriseeri ja jälgi määratud tööd
- Mõõda ja raporteeri verifitseerimise tulemuslikkuse näitajaid
- Arenda automatiseeritud verifitseerimise töövooge
- Verifitseeri täiustatud protsessoreid, sealhulgas keerukaid out-of-order-protsessorikavandeid
- Vastuta määratud kavandiosade eest ja rakenda mitut verifitseerimismeetodit
Nõuded
- Asud praegu Tšehhi Vabariigis ja sul on õigus seal töötada
- Sul on töökogemus protsessorite või muude ASIC-ide funktsionaalsete verifitseerimismeetodite rakendamisel, sealhulgas simulatsiooni, testide genereerimise, katvuse analüüsi ja väravatasandi simulatsiooniga
- Mõistad protsessoriarhitektuuride või muu intellektuaalomandi verifitseerimist
- Kirjutad selget ja kokkuvõtlikku koodi SystemVerilogis, Pythonis, C++-s, Rustis või võrreldavas keeles
- Oled varem vastutanud disainiploki verifitseerimise eest
- Kasutad Linuxit rutiinsete ülesannete automatiseerimiseks
- Tunned versioonihaldustööriistu, nagu Git ja SVN
- Mõistad RISC-V arhitektuuri
- Sul on tugev arusaam arvutisüsteemidest ja arhitektuurist
- Näitad üles analüütilist mõtlemist ja koostööoskust
- Töötad tõhusalt eri meeskondadega probleemide silumiseks ja algpõhjuste tuvastamiseks
Hüved
- Töökuulutuses ei ole täpsustatud hüvesid, soodustusi ega täiendavat tasu.