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

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

________________________________________________________________________________________________________

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

________________________________________________________________________________________________________

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

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

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

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

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

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

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

Будем рады предложить Вам:

• гибридный либо полностью дистанционный формат работы;
• программу поддержки инноваций: премии за научные достижения, публикацию статей, выступления на конференциях и регистрацию патентов;
• обучение и развитие: учебный портал с курсами и лекциями от внешних и внутренних экспертов, дополнительное профессиональное обучение, изучение английского, участие в конференциях;
• лекторий с выдающимися экспертами: инженерами, учеными и исследователями;
• заботу о здоровье: ДМС с первых дней работы, льготные условия страхования близких;
• поддержку в личных вопросах: консультации юристов, психологов, экспертов по ЗОЖ и управлению финансами;
• открытое общение: регулярные онлайн-встречи всей команды YADRO.