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