Верификация цифровых устройств курс лекций. учебное пособие
Настоящий курс лекций предназначен для обучающихся, изучающих верификацию как один из этапов проектирования цифровых устройств. Для успешного освоения материала обучающиеся должны знать основы цифровой схемотехники, иметь навыки разработки цифровых устройств с использованием языка Verilog (предпочти...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Книга |
| Темы: | |
| Online-ссылка: | Перейти к просмотру издания |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 04113nam0a2200349 4500 | ||
|---|---|---|---|
| 001 | RU/IPR SMART/116390 | ||
| 856 | 4 | |u https://www.iprbookshop.ru/116390.html |z Перейти к просмотру издания | |
| 801 | 1 | |a RU |b IPR SMART |c 20250903 |g RCR | |
| 010 | |a 978-5-7262-2696-5 | ||
| 205 | |a Верификация цифровых устройств |b 2026-11-12 | ||
| 333 | |a Лицензия до 12.11.2026 | ||
| 100 | |a 20250903d2020 k y0rusy01020304ca | ||
| 105 | |a y j 000zy | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 200 | 1 | |a Верификация цифровых устройств |e курс лекций. учебное пособие |f А. А. Скитев | |
| 700 | 1 | |a Скитев, |b А. А. |4 070 | |
| 330 | |a Настоящий курс лекций предназначен для обучающихся, изучающих верификацию как один из этапов проектирования цифровых устройств. Для успешного освоения материала обучающиеся должны знать основы цифровой схемотехники, иметь навыки разработки цифровых устройств с использованием языка Verilog (предпочтительно) или VHDL и иметь опыт работы с языком С++. Лекции состоят из двух глобальных разделов. В первой части курса обучающимся предлагается освоить общие понятия верификации, современные подходы к построению верификационного окружения и его основные компоненты и задачи. В качестве языка для разработки используется язык SystemVerilog, являющийся наиболее современным средством для проектирования верификационных окружений. Вторая часть курса посвящена изучению универсальной методологии верификации UVM и одноименной библиотеки классов. Последовательно рассматривается маршрут проектирования верификационного окружения в соответствии с данной методологией. Изучается назначение и структура базовых компонентов – драйвера, монитора, агента, окружения. Рассматриваются вопросы генерации тестовых воздействий с помощью последовательностей и генераторов. Затрагиваются вопросы сбора тестового покрытия для оценки эффективности разработанных тестов. В лекциях приводится достаточное количество примеров, в том числе рассмотрены нестандартные случаи. Подготовлено в рамках Проекта по созданию и развитию Международного научно-методического центра НИЯУ МИФИ. | ||
| 210 | |a Москва |c Национальный исследовательский ядерный университет «МИФИ» |d 2020 | ||
| 610 | 1 | |a верификация | |
| 610 | 1 | |a цифровое устройство | |
| 610 | 1 | |a проектирование | |
| 610 | 1 | |a цифровая схемотехника | |
| 675 | |a 004.41 | ||
| 686 | |a 32.973 |2 rubbk | ||
| 300 | |a Книга находится в премиум-версии IPR SMART. | ||
| 106 | |a s | ||
| 230 | |a Электрон. дан. (1 файл) | ||
| 336 | |a Текст | ||
| 337 | |a электронный | ||
| 503 | 0 | |a Доступна эл. версия. IPR SMART | |
| 215 | |a 92 с. | ||