Поиск :
Личный кабинет :
Электронный каталог: Скитев А. А. - Верификация цифровых устройств: курс лекций
Скитев А. А. - Верификация цифровых устройств: курс лекций
Нет экз.
Электронный ресурс
Автор: Скитев А. А.
Верификация цифровых устройств: курс лекций : учебное пособие
Издательство: НИЯУ МИФИ, 2020 г.
ISBN 978-5-7262-2696-5
Автор: Скитев А. А.
Верификация цифровых устройств: курс лекций : учебное пособие
Издательство: НИЯУ МИФИ, 2020 г.
ISBN 978-5-7262-2696-5
На полку
Электронный ресурс
Скитев, А. А.
Верификация цифровых устройств: курс лекций [Электронный ресурс] : учебное пособие. – Москва : НИЯУ МИФИ, 2020. – 92 с. – Режим доступа : https://e.lanbook.com/book/175430, https://e.lanbook.com/img/cover/book/175430.jpg. – Книга из коллекции НИЯУ МИФИ - Информатика. – На рус. яз. – ISBN 978-5-7262-2696-5.
Настоящий курс лекций предназначен для обучающихся, изучающих верификацию как один из этапов проектирования цифровых устройств. Для успешного освоения материала обучающиеся должны знать основы цифровой схемотехники, иметь навыки разработки цифровых устройств с использованием языка Verilog (предпочтительно) или VHDL и иметь опыт работы с языком С++. Лекции состоят из двух глобальных разделов. В первой части курса обучающимся предлагается освоить общие понятия верификации, современные подходы к построению верификационного окружения и его основные компоненты и задачи. В качестве языка для разработки используется язык SystemVerilog, являющийся наиболее современным средством для проектирования верификационных окружений. Вторая часть курса посвящена изучению универсальной методологии верификации UVM и одноименной библиотеки классов. Последовательно рассматривается маршрут проектирования верификационного окружения в соответствии с данной методологией. Изучается назначение и структура базовых компонентов – драйвера, монитора, агента, окружения. Рассматриваются вопросы генерации тестовых воздействий с помощью последовательностей и генераторов. Затрагиваются вопросы сбора тестового покрытия для оценки эффективности разработанных тестов. В лекциях приводится достаточное количество примеров, в том числе рассмотрены нестандартные случаи. Подготовлено в рамках Проекта по созданию и развитию Международного научно-методического центра НИЯУ МИФИ.
004.41(075.8)
основной = ЭБС Лань
Скитев, А. А.
Верификация цифровых устройств: курс лекций [Электронный ресурс] : учебное пособие. – Москва : НИЯУ МИФИ, 2020. – 92 с. – Режим доступа : https://e.lanbook.com/book/175430, https://e.lanbook.com/img/cover/book/175430.jpg. – Книга из коллекции НИЯУ МИФИ - Информатика. – На рус. яз. – ISBN 978-5-7262-2696-5.
Настоящий курс лекций предназначен для обучающихся, изучающих верификацию как один из этапов проектирования цифровых устройств. Для успешного освоения материала обучающиеся должны знать основы цифровой схемотехники, иметь навыки разработки цифровых устройств с использованием языка Verilog (предпочтительно) или VHDL и иметь опыт работы с языком С++. Лекции состоят из двух глобальных разделов. В первой части курса обучающимся предлагается освоить общие понятия верификации, современные подходы к построению верификационного окружения и его основные компоненты и задачи. В качестве языка для разработки используется язык SystemVerilog, являющийся наиболее современным средством для проектирования верификационных окружений. Вторая часть курса посвящена изучению универсальной методологии верификации UVM и одноименной библиотеки классов. Последовательно рассматривается маршрут проектирования верификационного окружения в соответствии с данной методологией. Изучается назначение и структура базовых компонентов – драйвера, монитора, агента, окружения. Рассматриваются вопросы генерации тестовых воздействий с помощью последовательностей и генераторов. Затрагиваются вопросы сбора тестового покрытия для оценки эффективности разработанных тестов. В лекциях приводится достаточное количество примеров, в том числе рассмотрены нестандартные случаи. Подготовлено в рамках Проекта по созданию и развитию Международного научно-методического центра НИЯУ МИФИ.
004.41(075.8)
основной = ЭБС Лань