Функциональная верификация наноразмерных интегральных схем
1 000
500
Срок доступа 60 дней
Описание курса

Из курса вы узнаете: САПР, используемые для верификации СФ-блоков и СнК; методики верификации СФ-блоков и интегральных схем; структуру и основные характеристики верификационных компонент; способы автоматизации верификации и отладки.

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

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

Пройти профессиональный экзамен и подтвердить уровень своей квалификации Вы можете в Центре оценки квалификаций в наноиндустрии.

Содержание курса
1
Введение в тему функциональной верификации
2
Основы языка SystemVerilog
3
Рандомизация (управляемая генерация псевдослучайных тестов) и функциональное покрытие в SystemVerilog, покрытие кода
4
Базовые понятия UVM
5
Написание UVM окружения
6
Написание тестовых последовательностей»
7
Регистровая модель
8
Прототипирование сложно-функциональных блоков СнК
9
Обнаружение и локализация ошибок, автоматизация функциональной верификации
10
Функциональная верификация СнК на верхнем уровне»
ПОДЕЛИТЬСЯ В СОЦИАЛЬНЫХ СЕТЯХ
автор курса
ПУТРЯ

МИХАИЛ ГЕОРГИЕВИЧ

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

ВСЕ КУРСЫ АВТОРА
ФРОЛОВА

СВЕТЛАНА ЕВГЕНЬЕВНА

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

ВСЕ КУРСЫ АВТОРА
ЗАЙЦЕВ

ВИКТОР СЕРГЕЕВИЧ

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

ВСЕ КУРСЫ АВТОРА
АВДЕЕВ

НИКОЛАЙ АЛЕКСАНДРОВИЧ

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

ВСЕ КУРСЫ АВТОРА
По окончании курса вы сможете
анализировать техническую документацию;
работать со спецификацией СнК;
разрабатывать верификационные компоненты для конкретного аппаратного стандарта;
использовать методики верификации СФ-блоков и интегральных схем при создании верификационных компонентов;
использовать целевые САПР;
отлаживать программы для систем на кристалле с использованием САПР для моделирования аппаратуры;
ранжировать особенности интегральных схем или СФ-блока с точки зрения критичности для работоспособности конечного устройства;
проводить анализ сценариев тестирования СнК и детализировать требования к среде верификации;
составлять верификационный план интегральных схем или СФ-блока;
использовать САПР для определения потребляемой мощности интегральных схем на созданных тестах;
систематизировать и ранжировать ошибки в тестах и аппаратуре;
разрабатывать среды верификации;
определять круг задач, для решения которых необходим программный прототип;
создавать инфраструктуру для запуска функциональных тестов и прикладного ПО на программном прототипе;
запускать программное обеспечение на аппаратном прототипе интегральных схем;
автоматизировать этапы разработки, запуска и анализа результатов тестов;
выявлять ключевые особенности в архитектуре проекта и определять способы их проверки;
ранжировать особенности и проблемы проекта;
выбирать методики верификации интегральных схем и СФ-блоков, позволяющие наиболее полно и с меньшими трудозатратами проверить проект;
проводить анализ и определять причины сбоев при прохождении тестов;
разрабатывать тесты с использованием современных языков и методик верификации;
использовать методы и средства разработки тестовых сценариев и тестового кода, в том числе, предоставляемые существующей средой верификации;
эффективно применять типовые программные пакеты и системы, ориентированные на верификацию моделей интегральных схем;
использовать актуальные САПР;
определять источник ошибки, используя описание тестируемой системы на языке описания аппаратуры;
определять сценарии, позволяющие проверить конкретные особенности интегральных схем или блока;
определять критерии окончания верификации интегральных схем или блока;
определять степень загрузки ресурсов интегральных схем тестами;
проводить анализ качества тестов;
проводить анализ сценариев верификации СнК и детализировать требования к среде верификации;
разрабатывать и отлаживать программные модели устройств;
автоматизировать этапы разработки, запуска и анализа результатов тестов;
запускать программное обеспечение на программном прототипе интегральных схем;
определять круг задач, для решения которых необходим аппаратный прототип;
работать с проектами, базирующимися на ПЛИС;
создавать инфраструктуру для запуска функциональных тестов и прикладного ПО на аппаратном прототипе;
выбирать оптимальный метод верификации для заданных свойств СФ-блока или СнК.
ПОДЕЛИТЬСЯ В СОЦИАЛЬНЫХ СЕТЯХ
Для кого этот курс
руководители подразделений (служб) научно-технического развития
программисты
инженеры-электроники
инженеры по связи и приборостроению
ПОДЕЛИТЬСЯ В СОЦИАЛЬНЫХ СЕТЯХ
Отзывы
Евгений Васильев
25 Сентября, 2017

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


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

Авторизуйтесь, чтобы оставить отзыв
ПОДЕЛИТЬСЯ В СОЦИАЛЬНЫХ СЕТЯХ
Выдаем документ об окончании