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