Codasip är ett företag inom halvledar-IP och processorutveckling med fokus på RISC-V-teknik, säkra kretsar och funktionell säkerhet. Portföljen omfattar CHERI-kompatibla 64-bitars RISC-V-applikationskärnor, processorer för inbyggda system och fordon samt utvecklingsverktyg som Codasip Studio och språket CodAL. Företaget utvecklar både standardiserad processor-IP och skräddarsydda plattformar för krävande marknader, däribland fordonsindustrin, försvarssektorn, flygteknik, industrisystem och kritisk infrastruktur. Med team som arbetar inom både hårdvara och cybersäkerhet utvecklar Codasip processorteknik som ska möta säkerhets- och tillförlitlighetskraven för reglerade tillämpningar.
Verifieringsingenjör – RISC-V-processorer (hybrid, Tjeckien)
Bli en del av Codasip och verifiera RISC-V-processorer och tillägg inom ett säkert företag inom halvledararkitektur. Bygg automatiserade verifieringsflöden för avancerade CPU-designer.
Beskrivning
- Verifiera RISC-V-processorer och processortillägg
- Skapa verifieringslösningar som omfattar testbänkar, testbänkskomponenter, stimulusskapande och formella miljöer
- Samarbeta med ingenjörer för att slutföra verifieringsaktiviteter för komponenter och delsystem
- Fastställ verifieringsstrategier för block och delsystem och välj lämpliga verktyg
- Bedöm tekniska specifikationer och ge återkoppling med fokus på verifiering
- Kör simuleringar, undersök fel och fastställ grundorsaker till komplexa problem
- Planera, uppskatta, prioritera och följa upp tilldelat arbete
- Mät och rapportera nyckeltal för verifieringsprestanda
- Utveckla automatiserade verifieringsarbetsflöden
- Verifiera avancerade CPU:er, inklusive komplexa processordesigner med exekvering i oordning
- Ansvara för utsedda delar av designen och tillämpa flera verifieringsmetoder
Krav
- Vara bosatt i Tjeckien och ha rätt att arbeta där
- Ha kommersiell erfarenhet av funktionella processerverifieringsmetoder för CPU:er eller andra ASIC:er, inklusive simulering, testgenerering, täckningsanalys och grindnivåsimulering
- Förstå verifiering av CPU-arkitekturer eller annan immateriell egendom
- Skriva tydlig och koncis kod i SystemVerilog, Python, C++, Rust eller ett jämförbart språk
- Tidigare ha ansvarat för verifiering av ett designblock
- Använda Linux för att automatisera rutinuppgifter
- Känna till versionshanteringsverktyg som Git och SVN
- Förstå RISC-V-arkitekturen
- Ha god förståelse för datorsystem och datorarkitektur
- Visa analytiskt tänkande och god samarbetsförmåga
- Arbeta effektivt över teamgränser för att felsöka problem och identifiera grundorsaker
Förmåner
- Annonsen anger inga förmåner, personalförmåner eller ytterligare ersättning.