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

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

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

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

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

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

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

• разработка и отладка тестов сложно функциональных блоков на 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-симуляторами.