Системный программист (функциональная верификация СнК)

YADRO

Системный программист (функциональная верификация СнК)

Описание вакансии

Функциональная верификация фокусируется на проверке соответствия функциональным требованиям, которые описывают, что должно делать устройство. Эта работа осуществляется до выпуска чипа. Проверка проводится с использованием программ, написанных на низкоуровневых языках программирования.

________________________________________________________________________________________________________

Данная специфика может быть интересна тем, кто увлекается архитектурой современных компьютеров, микроэлектроникой и хочет глубже разобраться в том, как устроены процессоры и системы на кристалле (СнК).

________________________________________________________________________________________________________

Работа специалистов по верификации требует не только глубоких знаний в области программирования, но и понимания принципов работы аппаратного обеспечения.

Чем Вам предстоит заниматься:

  • разработка и отладка тестов сложно функциональных блоков на RTL симуляторах, эмуляторах (QEMU) и FPGA-прототипах;
  • участие в разработке верификационной стратегии составных частей СнК совместно с командой UVM верификации и RTL дизайна;
  • проверка функционирования СнК на отладочных платах со смежными командами (pre-silicon и post-silicon);
  • поддержка и развитие библиотек системного ПО для верификации СнК.

Что мы ожидаем от будущего члена команды:

  • уверенное знание С и умение писать asm-вставки;
  • опыт низкоуровневого и системного программирования встроенных систем (bsp/drivers/kernel/RTOS);
  • уверенное знание архитектуры и набора команд одного из современных процессоров;
  • опыт разработки и отладки драйверов и тестов для контроллеров низкоскоростных и высокоскоростных интерфейсов (напр. i2C/UART/Ethernet/PCIe/USB);
  • опыт использования make/cmake/gcc/ld/gdb;
  • уверенный пользователь Linux (cli & shell programming);
  • опыт работы с низкоуровневыми средствами отладки FPGA.

Дополнительно приветствуем:

  • опыт составления верификационных/тестовых планов для тестирования функциональных блоков RTL;
  • знакомство с Verilog/System Verilog, понимание принципов цифрового дизайна;
  • опыт работы с RTL-симуляторами.
Навыки
  • C
  • Linux
  • I2C
  • PCIe
  • BSP
Посмотреть контакты работодателя

Похожие вакансии

Бифорком Тек
  • Москва

  • Не указана

Рекомендуем
НПЦ ЭЛВИС
  • Зеленоград

  • Не указана

Рекомендуем
RWB (Wildberries & Russ)
  • Москва

  • Не указана

Рекомендуем
БУЛАТ
  • Москва

  • Не указана

AERODISK
  • Москва

  • Не указана

Hi, Rockits!
  • Москва

  • от 180000 RUR

Флант
  • Москва

  • от 200000 RUR

Лаборатория Касперского

Разработчик C (KasperskyOS Education Development Kit)

Лаборатория Касперского

  • Москва

  • от 200000 RUR

РДП Энтерпрайз

Старший разработчик Linux

РДП Энтерпрайз

  • Москва

  • от 200000 RUR

Positive Technologies
  • Москва

  • от 200000 RUR

Go Invest
  • Москва

  • от 200000 RUR

T2
  • Москва

  • от 200000 RUR

Лаборатория Касперского

Разработчик С (Component Development Group, Network Team)

Лаборатория Касперского

  • Москва

  • от 200000 RUR

РДП Энтерпрайз
  • Москва

  • от 200000 RUR

ЛИАН
  • Москва

  • до 330000 RUR

АЙФЭЛЛ
  • Москва

  • до 330000 RUR

СК Ренессанс Жизнь

Ведущий разработчик Oracle

СК Ренессанс Жизнь

  • Москва

  • до 330000 RUR

Orion soft
  • Москва

  • до 330000 RUR

Хотите оставить вакансию?

Заполните форму и найдите сотрудника всего за несколько минут.
Оставить вакансию