Трудовая функция "Разработка функциональных тестов для моделей сложнофункциональных блоков и ИС на языках описания и верификации аппаратуры"

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