Codasip je společnost zaměřená na polovodičová IP řešení a návrh procesorů, která se specializuje na technologie RISC-V, bezpečný hardware a funkční bezpečnost. Její portfolio zahrnuje 64bitová aplikační jádra RISC-V s podporou CHERI, vestavné a automobilové procesory i návrhové nástroje, jako jsou Codasip Studio a jazyk CodAL. Společnost vyvíjí standardní procesorová IP řešení i platformy přizpůsobené náročným trhům, včetně automobilového průmyslu, obrany, avioniky, průmyslových systémů a kritické infrastruktury. Díky týmům působícím v oblasti hardwaru a kybernetické bezpečnosti vytváří Codasip procesorové technologie, které mají reagovat na požadavky na bezpečnost a spolehlivost regulovaných aplikací.
Inženýr verifikace — procesory RISC-V (hybridní práce, Česko)
Připojte se ke Codasip a ověřujte procesory RISC-V a jejich rozšíření v bezpečné společnosti zaměřené na polovodičovou architekturu. Vytvářejte automatizované verifikační procesy pro pokročilé návrhy CPU.
Popis
- Ověřovat procesory RISC-V a rozšíření procesorů
- Vytvářet verifikační řešení zahrnující testovací prostředí, komponenty testovacích prostředí, generování podnětů a formální prostředí
- Spolupracovat s inženýry na dokončení verifikačních aktivit pro komponenty a podsystémy
- Stanovovat verifikační strategie pro bloky a podsystémy a vybírat vhodné nástroje
- Posuzovat technické specifikace a poskytovat zpětnou vazbu zaměřenou na verifikaci
- Provádět simulace, zkoumat chyby a určovat kořenové příčiny složitých problémů
- Plánovat, odhadovat, určovat priority a sledovat přidělenou práci
- Měřit a vykazovat metriky výkonnosti verifikace
- Vyvíjet automatizované verifikační postupy
- Ověřovat pokročilé procesory CPU včetně složitých návrhů procesorů s prováděním instrukcí mimo pořadí
- Odpovídat za určené oblasti návrhu a používat více verifikačních přístupů
Požadavky
- V současnosti pobývat v České republice a mít tam právo pracovat
- Mít komerční zkušenosti s používáním metod funkční verifikace procesorů pro CPU nebo jiné ASIC, včetně simulace, generování testů, analýzy pokrytí a simulace na úrovni hradel
- Rozumět verifikaci architektur CPU nebo jiného duševního vlastnictví
- Umět psát jasný a stručný kód v jazycích SystemVerilog, Python, C++, Rust nebo srovnatelném jazyce
- Mít předchozí zkušenost s vedením verifikace návrhového bloku
- Používat Linux k automatizaci rutinních úkolů
- Znát nástroje pro správu verzí, jako jsou Git a SVN
- Rozumět architektuře RISC-V
- Mít dobré znalosti počítačových systémů a architektury
- Prokazovat analytické myšlení a schopnost týmové spolupráce
- Efektivně spolupracovat napříč týmy při ladění problémů a hledání jejich kořenových příčin
Benefity
- Inzerát neuvádí benefity, výhody ani další kompenzaci.