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