Inżynier ds. weryfikacji projektów cyfrowych

O OLIXAI rozwija się szybciej niż jakakolwiek technologia w historii, a eksplozja popytu stworzyła ogromną lukę w infrastrukturze; nie możemy już budować chipów ani elektrowni wystarczająco szybko, aby dotrzymać kroku. Branża nadal opiera się na dziesięcioletnim projekcie sprzętowym, który osiągnął swój limit. Nowy paradygmat, szybszy i wydajniejszy, będzie największą szansą gospodarczą następnego stulecia i stworzy najważniejszą firmę następnej dekady.

OLIX Decode Accelerator 1 (DX-1) to pierwszy akcelerator zaprojektowany specjalnie do dekodowania. Współprojektowanie logiki, ruchu danych, pakowania, optyki i połączeń wzajemnych w skali szafy umożliwia skokową zmianę wydajności na poziomie systemu. Rola Poszukujemy wysoko wykwalifikowanych i zmotywowanych inżynierów ds. weryfikacji cyfrowej wyższego szczebla / personelu z dużym doświadczeniem w cyfrowym projektowaniu i weryfikacji CMOS, aby przejąć odpowiedzialność za poprawność funkcjonalną szybkich krzemów do przetwarzania danych w czasie rzeczywistym, od wczesnego modelowania algorytmów poprzez zweryfikowane RTL, podpisywanie i wdrażanie układów krzemowych.

Dołączysz do multidyscyplinarnej grupy tworzącej przełomowy sprzęt cyfrowy, optyczny i domeny sygnałów mieszanych przecinają się. Idealny kandydat wnosi głęboką wiedzę specjalistyczną w zakresie metodologii weryfikacji cyfrowej, solidne zrozumienie architektury sprzętu i pasję do tworzenia możliwych do udowodnienia poprawnych, wysokowydajnych systemów stanowiących podstawę przełomowego sprzętu AI. Obowiązki Własna kompleksowa weryfikacja wysokoprzepustowych potoków cyfrowych obsługujących szybkości wejściowe wielu GSPS, ciągłe strumieniowe ścieżki danych, głębokie potokowanie i niezawodne uzgadnianie w zaawansowanych węzłach CMOS Tworzenie i utrzymywanie kompleksowych środowisk weryfikacyjnych przy użyciu SystemVerilog/UVM, w tym testowanie z ograniczoną losowością, zamykanie pokrycia i automatyzacja regresjiDefiniowanie i wdrażanie strategii weryfikacji opartych na asercjach w zakresie logiki sterowania, poprawności ścieżki danych, CDC/RDC i zgodności z protokołemZastosowanie formalnych technik weryfikacji (sprawdzanie właściwości, asercje, sprawdzanie równoważności) w celu uzupełnienia weryfikacji opartej na symulacji i przyspieszenia wykrywania błędówModelowanie i walidacja algorytmów przy użyciu MATLAB/Simulink lub Python, zapewniając funkcjonalną równoważność modeli algorytmicznych poprzez RTL i RTL podpisywanie na poziomie bramkiWspieranie prototypowania FPGA i wprowadzanie układów krzemowych poprzez opracowywanie ukierunkowanych przypadków testowych, strategii debugowania i planów walidacji po krzemie Ściśle współpracuj z zespołami zajmującymi się projektowaniem cyfrowym, sprzętem optycznym, sygnałem mieszanym i oprogramowaniem, aby zapewnić prawidłową integrację w domenach zegara, interfejsach i abstrakcjach oprogramowania sprzętowegoAnalizuj wyniki weryfikacji w celu zidentyfikowania głównych przyczyn, wprowadzenia poprawek projektowych oraz poprawy wydajności weryfikacji i ponownego użyciaWkład w rozwój metodologii weryfikacji, dokumentację oraz przeglądy projektów/weryfikacji; w stosownych przypadkach mentor młodszych inżynierów Umiejętności i doświadczenie Ponad 5 lat praktycznego doświadczenia w weryfikacji cyfrowej dla wysokowydajnych układów ASIC lub SoC Posiadanie weryfikacji dla co najmniej jednego złożonego bloku lub podsystemu przetwarzającego ciągłe strumienie danych w czasie rzeczywistym Wysoka biegłość w SystemVerilog, asercjach (SVA) i nowoczesnych metodologii weryfikacji (np.

UVM. CocoTB) Udokumentowane doświadczenie w weryfikacji projektów działających w domenach zegara klasy GHz, w tym CDC/RDC analizaZnajomość standardowych przepływów EDA: symulacja RTL, weryfikacja formalna, linting, CDC/RDC, STA, power-intent (UPF/CPF) i symulacja na poziomie bramkiDoświadczenie w weryfikacji szybkich adresów IP, takich jak SerDes, DDR/HBM, PCIe, Ethernet lub podobnych interfejsów Biegła znajomość MATLAB/Simulink lub Python/NumPy do modelowania algorytmów, analizy punktów stałych i generowania wektorów testowychSolid podstawy projektowania cyfrowego, architektury komputerów, podstaw DSP i podstaw półprzewodników Przejrzysty komunikator, który skutecznie współpracuje między dyscyplinami i czuje się komfortowo pracując w szybko zmieniającym się, rozwijającym się środowiskuDobrze mieć doświadczenie w nagrywaniu na zaawansowanym węźle procesowym Głębokie praktyczne doświadczenie z formalnymi metodologiami weryfikacji, w tym rozkładem właściwości i formalnością opartą na zasięgu, w narzędziach takich jak Jasper Ekspozycja na spójne łącza optyczne lub wspólne projektowanie fotoniczno-elektroniczne Znajomość Obciążenia AI/ML, tablice skurczowe lub architektury przetwarzania tensorowego Wiedza specjalistyczna w zakresie weryfikacji potoków arytmetycznych Wiedza specjalistyczna w zakresie weryfikacji procesorów i ISA Wkład w RTL typu open source, platformy weryfikacyjne lub platformy FPGA Wynagrodzenie i kapitał własny Konkurencyjne wynagrodzenie: proporcjonalne do Twojego doświadczenia, umiejętności i lokalizacji Kapitał własny i własność: Znaczące opcje na akcje. Nie tylko przyłączasz się do misji; masz jego część.

Bonus zbliżeniowy: cenimy Twój czas. Aby zminimalizować czas dojazdów do pracy i zmaksymalizować Twoje życie, oferujemy roczną premię Living-Local Bonus, jeśli Twoje miejsce zamieszkania znajduje się w promieniu 20 minut od biura. Świadczenia emerytalne: plany emerytalne finansowane przez pracodawcę, które pomogą Ci zbudować długoterminowe bezpieczeństwo finansowe. Ze względu na amerykańskie przepisy dotyczące kontroli eksportu, uprawnienia kandydatów do pracy w OLIX zależą od ich ostatniego obywatelstwa lub statusu stałego pobytu.

Zasadniczo nie jesteśmy w stanie brać pod uwagę kandydatów, których ostatnie obywatelstwo lub miejsce stałego pobytu znajduje się w niektórych krajach objętych ograniczeniami (obecnie Iran, Korea Północna, Syria, Kuba, Rosja, Białoruś, Chiny, Hongkong, Makau i Wenezuela). Kandydaci, którzy następnie uzyskali obywatelstwo lub pobyt stały w innym kraju niepodlegającym tym ograniczeniom, mogą nadal się kwalifikować.Wynagrodzenie: 123 tys. GBP • Oferuje kapitał • Wiele zakresówBristol • Od 123 tys.

GBP • Oferty kapitałoweAustin • Zaczynając od 217 tys. USD • Oferty kapitałoweZnajdź więcej anglojęzycznych ofert pracy w Wielkiej Brytanii w serwisie Arbeitnow