Функциональная верификация фокусируется на проверке соответствия функциональным требованиям, которые описывают, что должно делать устройство. Эта работа осуществляется до выпуска чипа. Проверка проводится с использованием программ, написанных на низкоуровневых языках программирования.
________________________________________________________________________________________________________
Данная специфика может быть интересна тем, кто увлекается архитектурой современных компьютеров, микроэлектроникой и хочет глубже разобраться в том, как устроены процессоры и системы на кристалле (СнК).
________________________________________________________________________________________________________
Работа специалистов по верификации требует не только глубоких знаний в области программирования, но и понимания принципов работы аппаратного обеспечения.
Чем Вам предстоит заниматься:
- разработка и отладка тестов сложно функциональных блоков на 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-симуляторами.