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