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