IPR SMART / Верификация цифровых устройств

Чтение online

Недоступно

Рейтинг издания

Верификация цифровых устройств. Курс лекций. Учебное пособие

Издательство:

Национальный исследовательский ядерный университет «МИФИ»

Авторы:

Скитев А.А.

Год издания:

2020

ISBN:

978-5-7262-2696-5

Тип издания:

учебное пособие

DOI:

не присвоен узнать подробнее

Об издании

Настоящий курс лекций предназначен для обучающихся, изучающих верификацию как один из этапов проектирования цифровых устройств. Для успешного освоения материала обучающиеся должны знать основы цифровой схемотехники, иметь навыки разработки цифровых устройств с использованием языка Verilog (предпочтительно) или VHDL и иметь опыт работы с языком С++. Лекции состоят из двух глобальных разделов. В первой части курса обучающимся предлагается освоить общие понятия верификации, современные подходы к построению верификационного окружения и его основные компоненты и задачи. В качестве языка для разработки используется язык SystemVerilog, являющийся наиболее современным средством для проектирования верификационных окружений. Вторая часть курса посвящена изучению универсальной методологии верификации UVM и одноименной библиотеки классов. Последовательно рассматривается маршрут проектирования верификационного окружения в соответствии с данной методологией. Изучается назначение и структура базовых компонентов – драйвера, монитора, агента, окружения. Рассматриваются вопросы генерации тестовых воздействий с помощью последовательностей и генераторов. Затрагиваются вопросы сбора тестового покрытия для оценки эффективности разработанных тестов. В лекциях приводится достаточное количество примеров, в том числе рассмотрены нестандартные случаи. Подготовлено в рамках Проекта по созданию и развитию Международного научно-методического центра НИЯУ МИФИ.

Библиографическая запись

Скитев, А. А. Верификация цифровых устройств : курс лекций. Учебное пособие / А. А. Скитев. — Москва : Национальный исследовательский ядерный университет «МИФИ», 2020. — 92 c. — ISBN 978-5-7262-2696-5. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/116390.html (дата обращения: 10.09.2023). — Режим доступа: для авторизир. пользователей

РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ

Государственное регулирование в сфере электронной коммерции и цифровых рынков

Косоруков А.А.

(Ай Пи Ар Медиа)

Релейная защита и автоматические системы управления устройствами электроснабжения

Куксин А.В.

(Профобразование, Ай Пи Ар Медиа)

Станции и узлы. Проектирование новой узловой участковой станции с горкой малой мощности

Иванков А.Н., Иванкова Л.Н.

(Профобразование, Ай Пи Ар Медиа)

Электроника

Никулин В.И., Горденко Д.В., Сапронов С.В., Резеньков Д.Н.

(Ай Пи Ар Медиа)

Электроника и схемотехника

Никулин В.И., Горденко Д.В., Сапронов С.В., Резеньков Д.Н.

(Профобразование, Ай Пи Ар Медиа)

Анализ влияния цифровых технологий на финансовую устойчивость российских компаний

Земляк С.В., Ганичева Е.В., Гусарова О.М., Комаров П.И., Крамлих О.Ю., Науменков А.В., Ноздрева И.Е., Попова В.В., Прохоренков П.А., Сивакова С.Ю., Титов Ю.М., Тищенкова Г.З., Хроменкова Г.А....

(Дашков и К)