|
Трудовые действия
|
Создание код тестов или генераторов тестов, исполняемых вычислительными ресурсами ИС, в соответствии с верификационным планом и учетом обнаруженных ранее ошибок
|
|
Уточнение особенностей поведения СФ-блоков и ИС у разработчиков ИС, сообщение им о недочетах документации и обнаруженных ошибках в моделях СФ-блоков и ИС
|
|
Отладка созданных тестов или генераторов тестов на моделях ИС всех уровней абстракции, предусмотренных маршрутом разработки ИС
|
|
Корректировка кода тестов или генераторов тестов по результатам анализа качества теста, выполненного ведущим специалистом
|
|
Анализ результатов прохождения тестов
|
|
Формирование верификационного отчета
|
|
Разработка документации на созданные тесты или генераторы тестов
|
|
Необходимые умения
|
Создавать программы для систем на кристалле
|
|
Использовать инструментальные средства для разработки и отладки программ для систем на кристалле
|
|
Использовать актуальные САПР
|
|
Отлаживать тестовые программы для систем на кристалле с использованием штатных средств отладки
|
|
Отлаживать программы для систем на кристалле с использованием САПР для моделирования аппаратуры
|
|
Определять источник ошибки, используя описание тестируемой системы на языке описания аппаратуры
|
|
Искать решения технических проблем в технической документации и с использованием современных информационных технологий
|
|
Пользоваться технической документацией
|
|
Разрабатывать документацию в соответствии со стандартом предприятия
|
|
Работать с системой отслеживания ошибок
|
|
Необходимые знания
|
Стандартные, полузаказные и заказные БИС/СБИС, СнК
|
|
Базовые примитивы цифровой схемотехники (сумматоры, триггеры, регистры и т.п.) и особенности их реализации
|
|
Маршрут разработки и верификации
|
|
Архитектура, особенности программирования и применение микропроцессоров общего назначения, специализированных микропроцессоров и микроконтроллеров
|
|
Типовые архитектуры и состав СнК
|
|
Шины и интерфейсы периферийных устройств
|
|
Контроллеры периферийных устройств (аппаратные и программные средства управления работой периферийных устройств)
|
|
Особенности взаимодействия блоков в составе СнК
|
|
Встраиваемые операционные системы (ОС) и ОС реального времени, общая информация
|
|
Разработка прикладных программ для встраиваемых ОС и ОС реального времени
|
|
Целевые САПР (моделирование и формальная верификация моделей схем, написанных на языках описания аппаратуры)
|
|
Методики верификации СФ-блоков и ИС
|
|
Верификация, тестирование и отладка программных систем
|
|
Английский язык на уровне чтения и перевода технической документации
|
|
Теория вероятности, теория автоматов, необходимые для грамотного создания случайных тестов и анализа их полноценности
|
|
Языки описания аппаратуры
|
|
Высокоуровневые языки программирования
|
|
Языки программирования для встраиваемых систем
|
|
Языки ассемблера процессорных ядер общего назначения, процессорных ядер ЦОС, специализированных процессорных ядер
|
|
Особенности разработки ПО для встраиваемых систем
|
|
Конструкторская документация
|
|
Верификационный план
|
|
КД на СФ-блоки и ИС
|
|
Верификационный отчет
|
|
Другие характеристики
|
-
|