Верификация цифровых устройств. Курс лекций. Учебное пособие
Об издании
Настоящий курс лекций предназначен для обучающихся, изучающих верификацию как один из этапов проектирования цифровых устройств. Для успешного освоения материала обучающиеся должны знать основы цифровой схемотехники, иметь навыки разработки цифровых устройств с использованием языка 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). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Надеждин Н.Я.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Косоруков А.А.
(Ай Пи Ар Медиа)
Апатцев В.И., Иванкова Л.Н., Иванков А.Н.
(Ай Пи Ар Медиа)
Иванков А.Н., Иванкова Л.Н.
(Ай Пи Ар Медиа)
Кулешов Ю.Н., Подольный Р.Н.
(Ай Пи Ар Медиа)
Ершова Н.Ю., Соловьев А.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Дуктов А.П., Садомов Н.А., Бахарев А.А., Ковалева О.В., Сибен А.Н.
(Государственный аграрный университет Северного Зауралья)
Теплая Н.В.
(Российский государственный университет правосудия)
Гунина И.А.
(Воронежский государственный технический университет, ЭБС АСВ)
Румянцева Т.А., Галанин Н.Е.
(Инфра-Инженерия)
Алехин И.П., Белова В.В., Бобров А.В., Бойчук А.А., Борисова С.О., Бродский А.Г., Бурдина Л.Л., Вакурова Е.С., Валитова Д. А., Ворыханов А.В., Гадзиева И.В., Гвоздев А.А., Гегенава М.В., Гергиева З.А...
(Научный консультант)
Кучерова Е.В., Казарян М.Т., Королева Т.Г.
(Кузбасский государственный технический университет имени Т.Ф. Горбачева)
Бесплатная
онлайн-стажировка по робототехнике!
Совместный проект ЮУрГУ, ЧКПЗ и IPR MEDIA "Техническое зрение для сортировки деталей сложной формы"
Количество участников ограничено, участвуйте в конкурсе заявок прямо сейчас!
Инновационная программа
в формате 3-недельной онлайн-стажировки
с опытным преподавателем-практиком ЮУрГУ
Заявки принимаются
до 20 июня 2024 года
Старт программы
20 июня 2024 года
Результаты конкурса и список подтвержденных участников программы
22 июня 2024 года
Заполните форму, и мы свяжемся с вами!
Программа ППК предназначена для студентов и выпускников следующих направлений подготовки:
По итогам программы слушатели получат:
