Электронный курс

Наноэлектроника
Профстандарт
Нанотехнологии

Функциональная верификация наноразмерных интегральных схем

1 000 ₽
Получить доступ
1 отзыв

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

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

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

Курс состоит из 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).
  • Колонки, наушники или встроенный динамик - для звукового сопровождения курса.

Выдаем документ об окончании

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

25 Сентября, 2017
Евгений Васильев

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


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

Ведущий инженер-конструктор АО "НИИМЭ"