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

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