Codasip to firma zajmująca się projektowaniem układów półprzewodnikowych i procesorów, koncentrująca się na technologii RISC-V, bezpiecznych układach scalonych oraz bezpieczeństwie funkcjonalnym. Jej oferta obejmuje 64-bitowe rdzenie aplikacyjne RISC-V z obsługą CHERI, procesory wbudowane i samochodowe, a także narzędzia projektowe, takie jak Codasip Studio i język CodAL. Firma opracowuje zarówno standardowe procesorowe rozwiązania IP, jak i dostosowane platformy dla wymagających rynków, w tym motoryzacji, obronności, awioniki, systemów przemysłowych i infrastruktury krytycznej. Łącząc kompetencje w dziedzinie sprzętu i cyberbezpieczeństwa, Codasip tworzy technologie procesorowe zaprojektowane z myślą o potrzebach bezpieczeństwa i niezawodności regulowanych zastosowań.
Inżynier weryfikacji — procesory RISC-V (praca hybrydowa, Czechy)
Dołącz do Codasip i zajmuj się weryfikacją procesorów RISC-V oraz rozszerzeń w bezpiecznej firmie specjalizującej się w architekturze półprzewodników. Twórz zautomatyzowane procesy weryfikacji dla zaawansowanych projektów CPU.
Opis
- Weryfikować procesory RISC-V i rozszerzenia procesorów
- Tworzyć rozwiązania weryfikacyjne obejmujące środowiska testowe, komponenty środowisk testowych, generowanie bodźców i środowiska formalne
- Współpracować z inżynierami przy realizacji działań weryfikacyjnych dotyczących komponentów i podsystemów
- Ustalać strategie weryfikacji bloków i podsystemów oraz dobierać odpowiednie narzędzia
- Oceniać specyfikacje techniczne i przekazywać informacje zwrotne dotyczące weryfikacji
- Wykonywać symulacje, analizować defekty i ustalać przyczyny źródłowe złożonych problemów
- Planować, szacować, ustalać priorytety i monitorować przydzieloną pracę
- Mierzyć i raportować wskaźniki wydajności weryfikacji
- Opracowywać zautomatyzowane procesy weryfikacji
- Weryfikować zaawansowane procesory CPU, w tym złożone projekty procesorów z wykonywaniem poza kolejnością
- Odpowiadać za wyznaczone obszary projektu i stosować różne podejścia do weryfikacji
Wymagania
- Obecnie mieszkać w Czechach i mieć prawo do pracy w tym kraju
- Mieć komercyjne doświadczenie w stosowaniu metod funkcjonalnej weryfikacji procesorów do CPU lub innych układów ASIC, w tym symulacji, generowania testów, analizy pokrycia i symulacji na poziomie bramek
- Rozumieć weryfikację architektur CPU lub innych obiektów własności intelektualnej
- Pisać jasny i zwięzły kod w SystemVerilog, Pythonie, C++, Ruście lub porównywalnym języku
- Mieć wcześniejsze doświadczenie w samodzielnym prowadzeniu weryfikacji bloku projektu
- Używać systemu Linux do automatyzacji rutynowych zadań
- Znać narzędzia kontroli wersji, takie jak Git i SVN
- Rozumieć architekturę RISC-V
- Mieć bardzo dobrą znajomość systemów komputerowych i architektury
- Wykazywać się analitycznym myśleniem i umiejętnością pracy zespołowej
- Skutecznie współpracować między zespołami przy debugowaniu problemów i ustalaniu ich przyczyn źródłowych
Benefity
- Ogłoszenie nie określa benefitów, dodatków ani dodatkowego wynagrodzenia.