Описание курса

Целью обучения является качественное изменение профессиональных компетенций в рамках имеющейся квалификации для профессионального стандарта «Функциональная верификация и разработка тестов функционального контроля наноразмерных интегральных схем», необходимых для выполнения следующих видов профессиональной деятельности:

• функциональная верификация и разработка тестов функционального контроля наноразмерных интегральных схем;
• разработка функциональных тестов и элементов среды верификации моделей интегральной схемы и ее составных блоков;
• выполнение работ по верификации моделей интегральной схемы и ее составных блоков;
• выполнение работ по созданию сред верификации моделей и сопровождению разработки прототипов интегральных схем и составляющих ее блоков;
• изучение, анализ, разработка и внедрение методов верификации сложнофункциональных блоков и интегральных схем;
• тестирование сложно-функциональных блоков СнК на аппаратном прототипе.

Курс состоит из 10 модулей:

• Введение в тему функциональной верификации.
• Основы языка SystemVerilog.
• Рандомизация (управляемая генерация псевдослучайных тестов) и функциональное покрытие в SystemVerilog, покрытие кода.
• Базовые понятия UVM.
• Написание UVM окружения.
• Написание тестовых последовательностей»
• Регистровая модель.
• Прототипирование сложно-функциональных блоков СнК.
• Обнаружение и локализация ошибок, автоматизация функциональной верификации.
• Функциональная верификация СнК на верхнем уровне».

Образовательные результаты

В результате изучения курса Вы будете

знать:

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

владеть (уметь):

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

иметь навыки:

• составления верификационного плана;
• разработки тестовых окружений для СФ-блоков;
• разработки функциональных тестов СФ-блоков;
• анализа результатов и качества тестов СФ-блоков;
• отладки функциональных тестов СФ-блоков;
• работы с САПР для верификации и прототипирования СФ-блоков.

Авторы:

Путря Федор Михайлович – к.т.н. начальник лаборатории «Верификции СнК и СФ-блоков» ОАО НПЦ ЭЛВИС, с.н.с. НИУ МИЭТ. Специалист в области разработки и верификации систем-на-кристалле и цифровых сложно функциональных блоков, включая процессоры различной архитектуры. 

Фролова Светлана Евгеньевна - специалист в области разработки, функциональной верификации и прототипирования СнК.

Зайцев Виктор Сергеевич – ведущий инженер в Softeq Flash Solutions, преподаватель Белорусского государственного университета.

Авдеев Николай Александрович – к. т. н., старший научный сотрудник лаборатории "Логического проектирования" ОИПИ НАН Беларуси.

Категория слушателей:

Программисты, руководители подразделений (служб) научно-технического развития, инженеры-электроники, инженеры по связи и приборостроению

Документ об окончании: 

Электронный сертификат в случае успешного прохождения итогового тестирования

Часто задаваемые вопросы

Как правильно выстроить процесс обучения по электронному курсу?

Электронный курс – это учебный материал, работа с которым предполагает внимательное изучение. Не приступайте к обучению по электронному курсу в дороге. Выделите для этого свободное время, чтобы Вам никто не мешал, приготовьте бумагу и ручку. Рекомендуем делать записи в процессе работы с курсом – это позволит более глубоко усвоить материал. Доступ к курсу открыт на два месяца, Вы можете возвращаться к материалам курса в любое удобное время, проходить курс несколько раз, в том числе тесты, пока не выберете в системе опцию «Завершить обучение». Система автоматически закроет доступ к курсу через два месяца с момента совершения оплаты или активации курса в случае, если он бесплатный.

Как оплатить доступ к электронному курсу?

• Банковской картой (VISA/Visa Electron, MasterCard). Мы работаем с платежной системой ChronoPay; 
• Вы можете оплатить доступ к курсу, выбрав один из удобных для Вас вариантов:
• Через отделения Сбербанка; 
• Банковским переводом.

Подробная информация об оплате услуг.

Что такое личный кабинет и как им пользоваться?

Личный кабинет – это инструмент, который позволяет быстро и в доступной форме познакомиться с необходимой для обучения информацией. Пользователь может просмотреть свои текущие задачи, отредактировать личную информацию, задать вопросы специалистам, а также просмотреть расписание своих учебных мероприятий. Личный кабинет состоит из следующих разделов:

•  Мои программы и курсы (показывает как назначенные программы и курсы, по которым планируется либо проходит обучение, так и уже завершенные);
• Календарь (расписание учебных мероприятий); 
• Портфолио (копии личных документов пользователя, выполненные практические работы, а также выданные сертификаты. Все документы доступны для скачивания); 
• Личная информация (телефон, e-mail и другая информация, личные данные можно менять по мере необходимости); 
• Помощь (подробная инструкция по личному кабинету, FAQ, система обращений к администратору по обучению и системному администратору).

Могу ли я задать вопрос автору/преподавателю курса/программы?

Общение с автором и/или преподавателем строго регламентировано учебной программой и осуществляется в рамках образовательного процесса в отведенном для этого месте и в строго оговоренное время. Большинство наших электронных курсов не имеет авторского сопровождения, общение с авторами/преподавателями доступно только в рамках программ повышения квалификации. Если у вас возник вопрос к авторам курса, напишите его на enano@rusnano.com, мы постараемся помочь с ответом.

Что такое электронный сертификат и как его получить?

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

Какие требования к компьютерному оборудованию и каналам связи необходимо соблюсти для обучения онлайн?

Требования к среде:

• Операционная система windows vista/7/8; mac os 10.5+
• Экран с диагональю не менее 15”;
• Процессор pentium 1 гГц или выше;
• Оперативная память 512 мб или выше;
• Свободное дисковое пространство 200 мб;
• Минимальное разрешение дисплея по горизонтали 1024 точек;
• Минимальное разрешение по вертикали 768 точек;
• Глубина цвета дисплея 16 бит (65536 цветов) или выше;
• Звуковая карта 16 бит, совместимая с ос (для аудио сопровождения);
• Браузер Google Chrome версия 26 и выше; IE 8.0 и выше; Safari (Mac) версия 6.0 и выше.

Основные требования:

• Компонент Adobe Flash Player, версия не ниже 9 (установить с сайта Adobe).
• Колонки, наушники или встроенный динамик - для звукового сопровождения курса.