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