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