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