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
- Иметь глубокое понимание компьютерных систем и архитектуры
- Демонстрировать аналитическое мышление и умение работать в команде
- Эффективно взаимодействовать с разными командами для отладки проблем и выявления первопричин
Преимущества
- В объявлении не указаны льготы, дополнительные преимущества или иная дополнительная компенсация.