База данных: Каталог ЭБС IPR SMART
Страница 1, Результатов: 3
Отмеченные записи: 0
1.
Подробнее
Скитев, А. А.
Верификация цифровых устройств : курс лекций. Учебное пособие / Скитев А. А. - Москва : Национальный исследовательский ядерный университет «МИФИ», 2020. - 92 с. - ISBN 978-5-7262-2696-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.973
Кл.слова (ненормированные):
верификация -- проектирование -- цифровая схемотехника -- цифровое устройство
Аннотация: Настоящий курс лекций предназначен для обучающихся, изучающих верификацию как один из этапов проектирования цифровых устройств. Для успешного освоения материала обучающиеся должны знать основы цифровой схемотехники, иметь навыки разработки цифровых устройств с использованием языка Verilog (предпочтительно) или VHDL и иметь опыт работы с языком С++. Лекции состоят из двух глобальных разделов. В первой части курса обучающимся предлагается освоить общие понятия верификации, современные подходы к построению верификационного окружения и его основные компоненты и задачи. В качестве языка для разработки используется язык SystemVerilog, являющийся наиболее современным средством для проектирования верификационных окружений. Вторая часть курса посвящена изучению универсальной методологии верификации UVM и одноименной библиотеки классов. Последовательно рассматривается маршрут проектирования верификационного окружения в соответствии с данной методологией. Изучается назначение и структура базовых компонентов – драйвера, монитора, агента, окружения. Рассматриваются вопросы генерации тестовых воздействий с помощью последовательностей и генераторов. Затрагиваются вопросы сбора тестового покрытия для оценки эффективности разработанных тестов. В лекциях приводится достаточное количество примеров, в том числе рассмотрены нестандартные случаи. Подготовлено в рамках Проекта по созданию и развитию Международного научно-методического центра НИЯУ МИФИ.
Скитев, А. А.
Верификация цифровых устройств : курс лекций. Учебное пособие / Скитев А. А. - Москва : Национальный исследовательский ядерный университет «МИФИ», 2020. - 92 с. - ISBN 978-5-7262-2696-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
верификация -- проектирование -- цифровая схемотехника -- цифровое устройство
Аннотация: Настоящий курс лекций предназначен для обучающихся, изучающих верификацию как один из этапов проектирования цифровых устройств. Для успешного освоения материала обучающиеся должны знать основы цифровой схемотехники, иметь навыки разработки цифровых устройств с использованием языка Verilog (предпочтительно) или VHDL и иметь опыт работы с языком С++. Лекции состоят из двух глобальных разделов. В первой части курса обучающимся предлагается освоить общие понятия верификации, современные подходы к построению верификационного окружения и его основные компоненты и задачи. В качестве языка для разработки используется язык SystemVerilog, являющийся наиболее современным средством для проектирования верификационных окружений. Вторая часть курса посвящена изучению универсальной методологии верификации UVM и одноименной библиотеки классов. Последовательно рассматривается маршрут проектирования верификационного окружения в соответствии с данной методологией. Изучается назначение и структура базовых компонентов – драйвера, монитора, агента, окружения. Рассматриваются вопросы генерации тестовых воздействий с помощью последовательностей и генераторов. Затрагиваются вопросы сбора тестового покрытия для оценки эффективности разработанных тестов. В лекциях приводится достаточное количество примеров, в том числе рассмотрены нестандартные случаи. Подготовлено в рамках Проекта по созданию и развитию Международного научно-методического центра НИЯУ МИФИ.
2.
Подробнее
Гонцова, А. В.
Разработка процессора на языке SystemVerilog : практикум / Гонцова А. В. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2021. - 80 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
systemverilog -- инофрматика -- разработка
Аннотация: Практикум предназначен для студентов, обучающихся по направлению 09.03.01 «Информатика и вычислительная техника» и изучающих дисциплину «Схемотехника (углубленный курс). В нём содержится материал, предназначенный для проведения лабораторных работ по указанному курсу с целью изучения строения и принципов функционирования процессоров. Курс построен на базе ПЛИС фирмы Altera с применением языка описания аппаратуры SystemVerilog.
Доп.точки доступа:
Максимов, И. Н.
Гонцова, А. В.
Разработка процессора на языке SystemVerilog : практикум / Гонцова А. В. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2021. - 80 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
systemverilog -- инофрматика -- разработка
Аннотация: Практикум предназначен для студентов, обучающихся по направлению 09.03.01 «Информатика и вычислительная техника» и изучающих дисциплину «Схемотехника (углубленный курс). В нём содержится материал, предназначенный для проведения лабораторных работ по указанному курсу с целью изучения строения и принципов функционирования процессоров. Курс построен на базе ПЛИС фирмы Altera с применением языка описания аппаратуры SystemVerilog.
Доп.точки доступа:
Максимов, И. Н.
3.
Подробнее
Гонцова, А. В.
Основы цифровой схемотехники : учебное пособие для СПО / Гонцова А. В. - Саратов : Профобразование, 2024. - 76 с. - ISBN 978-5-4488-1894-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.812
Кл.слова (ненормированные):
systemverilog -- комбинационная схема -- последовательностная схема -- триггер -- цифровая схемотехника -- шифратор
Аннотация: В учебном пособии приведены основы языка SystemVerilog HDL. Рассмотрены простейшие комбинационные и последовательностные схемы. К каждому разделу даны задания для лабораторных работ и контрольные вопросы для самопроверки. Учебное пособие предназначено для студентов, обучающихся по укрупненным группам специальностей среднего профессионального образования «Информатика и вычислительная техника», «Информационная безопасность», «Электроника, радиотехника и системы связи», изучающих дисциплину «Цифровая схемотехника».
Доп.точки доступа:
Максимов, И. Н.
Гонцова, А. В.
Основы цифровой схемотехники : учебное пособие для СПО / Гонцова А. В. - Саратов : Профобразование, 2024. - 76 с. - ISBN 978-5-4488-1894-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
systemverilog -- комбинационная схема -- последовательностная схема -- триггер -- цифровая схемотехника -- шифратор
Аннотация: В учебном пособии приведены основы языка SystemVerilog HDL. Рассмотрены простейшие комбинационные и последовательностные схемы. К каждому разделу даны задания для лабораторных работ и контрольные вопросы для самопроверки. Учебное пособие предназначено для студентов, обучающихся по укрупненным группам специальностей среднего профессионального образования «Информатика и вычислительная техника», «Информационная безопасность», «Электроника, радиотехника и системы связи», изучающих дисциплину «Цифровая схемотехника».
Доп.точки доступа:
Максимов, И. Н.
Страница 1, Результатов: 3