Codasip — компанія, що розробляє напівпровідникові IP-рішення та процесори, спеціалізуючись на технологіях RISC-V, захищених мікросхемах і функціональній безпеці. Її портфоліо охоплює 64-бітні прикладні ядра RISC-V із підтримкою CHERI, вбудовані й автомобільні процесори, а також інструменти проєктування, зокрема Codasip Studio та мову CodAL. Компанія розробляє як стандартні IP-рішення для процесорів, так і адаптовані платформи для вимогливих ринків, зокрема автомобільної галузі, оборонної промисловості, авіоніки, промислових систем і критичної інфраструктури. Поєднуючи експертизу в апаратному забезпеченні та кібербезпеці, Codasip створює процесорні технології, покликані відповідати вимогам безпеки й надійності регульованих застосунків.
Інженер з верифікації — процесори RISC-V (гібридний формат, Чехія)
Приєднуйтеся до Codasip для верифікації процесорів RISC-V і розширень у захищеній компанії, що спеціалізується на напівпровідниковій архітектурі. Створюйте автоматизовані процеси верифікації для передових дизайнів CPU.
Опис
- Валідувати процесори RISC-V і розширення процесорів
- Створювати рішення для верифікації, що охоплюють тестові середовища, компоненти тестових середовищ, генерацію стимулів і формальні середовища
- Працювати з інженерами над виконанням завдань із верифікації компонентів і підсистем
- Розробляти стратегії верифікації блоків і підсистем та обирати відповідні інструменти
- Аналізувати технічні специфікації та надавати зворотний зв’язок із фокусом на верифікації
- Виконувати симуляції, досліджувати дефекти та визначати першопричини складних проблем
- Планувати, оцінювати, визначати пріоритети й контролювати призначену роботу
- Вимірювати та звітувати про показники ефективності верифікації
- Розробляти автоматизовані процеси верифікації
- Верифікувати передові CPU, зокрема складні процесорні дизайни з позачерговим виконанням команд
- Відповідати за визначені ділянки дизайну та застосовувати кілька підходів до верифікації
Вимоги
- Наразі перебувати в Чеській Республіці та мати право на роботу там
- Мати комерційний досвід застосування методів функціональної верифікації процесорів до CPU або інших ASIC, зокрема симуляції, генерації тестів, аналізу покриття та моделювання на рівні вентилів
- Розуміти верифікацію архітектур CPU або інших об’єктів інтелектуальної власності
- Писати чіткий і лаконічний код на SystemVerilog, Python, C++, Rust або порівнюваній мові
- Раніше самостійно відповідати за верифікацію блоку дизайну
- Використовувати Linux для автоматизації рутинних завдань
- Знати інструменти контролю версій, такі як Git і SVN
- Розуміти архітектуру RISC-V
- Мати глибоке розуміння комп’ютерних систем та архітектури
- Демонструвати аналітичне мислення та навички командної роботи
- Ефективно взаємодіяти між командами для налагодження проблем і визначення першопричин
Переваги
- В оголошенні не вказано пільг, додаткових переваг або іншої додаткової компенсації.