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