Трудовая функция "Разработка маршрута функциональной верификации СФ-блоков и ИС"

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