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