Ведущий инженер-верификатор: профессиональная переподготовка

Программа профессиональной переподготовки даёт возможность специалистам с высшим образованием освоить новую квалификацию ведущего инженера-верификатора и перейти в сферу функциональной верификации интегральных схем. Диплом о профессиональной переподготовке подтверждает полноценное освоение нового вида деятельности и позволяет занять должности, требующие соответствующей компетенции, без получения второго высшего образования.

Выпускники программы работают ведущими инженерами-верификаторами, инженерами-программистами (инженерами-верификаторами интегральных схем, специалистами по функциональной верификации ИС). Документ о переподготовке принимается при трудоустройстве, прохождении аттестации и внутренних проверках. Квалификация ведущего инженера-верификатора даёт право самостоятельно выполнять задачи по верификации цифровых схем, участвовать в проектировании и тестировании микросхем.

1. Выполнение работ по созданию сред верификации моделей, сопровождению разработки прототипов ИС и составляющих ее блоков
2. Разработка структуры среды верификации ИС или СФ-блоков
3. Разработка высокоуровневых (эталонных) моделей СФ-блоков
4. Разработка сред верификации для модели ИС и СФ-блоков
5. Сопровождение процесса создания программного прототипа ИС
6. Сопровождение процесса создания аппаратного прототипа ИС

Обучение построено последовательно: от базовых принципов функциональной верификации интегральных схем до самостоятельной разработки сред верификации. Слушатель научится анализировать конструкторскую документацию и верификационные планы, выявлять необходимые тестовые сценарии и определять состав тестовых окружений. В программе рассматривается, как оценивать пригодность существующих верификационных компонентов, формулировать требования к новым или дорабатываемым блокам и составлять перечень того, что потребуется купить, разработать или модифицировать.

Отдельный блок посвящён созданию эталонных моделей: сначала средней детализации для предварительного анализа архитектуры, затем высокой детализации для последующего прототипирования и интеграции в тестовое окружение. Слушатель осваивает разработку описания сред верификации и тестовых окружений, а также сопровождение процессов создания как программных, так и аппаратных прототипов интегральных схем. В результате формируются навыки, позволяющие закрывать полный цикл работ по верификации СФ-блоков и ИС - от изучения спецификации до сборки рабочей среды проверки.

• Анализ КД и верификационных планов ИС и СФ-блоков, выявление тестовых сценариев, реализация которых необходима для полноценной проверки СФ-блоков или ИС
• Составление перечня тестовых окружений и их возможностей, необходимых для верификации СФ-блока или ИС
• Составление списка необходимых верификационных компонентов и эталонных моделей блоков для реализации обозначенных тестовых окружений
• Анализ существующих верификационных компонентов (собственные и предлагаемые на рынке) с точки зрения пригодности для создания обозначенных тестовых окружений
• Составление списка верификационных компонентов, требующих покупки, разработки или доработки
• Формулировка требований к верификационным компонентам, необходимых для сборки обозначенных тестовых окружений
• Разработка описания сред верификации и тестовых окружений
• Изучение спецификации на СФ-блок
• Изучение требований, предъявляемых к программному интерфейсу программных моделей СФ-блоков и ИС
• Разработка модели блока средней детализации для предварительного анализа выбранной архитектуры на целевом ПО
• Разработка модели высокой детализации для программного прототипирования системы
• Разработка эталонной модели блока высокой детализации для последующей интеграции в тестовое окружение блока