Профессиональная верификация: Руководство по продвинутой функциональной верификации
Год издания: 2025
Автор: Уилкокс П., Романов А. Ю.
Переводчик: Романов А. Ю.
Издательство: ДМК Пресс
ISBN: 978-5-93700-398-0
Серия: Книжная полка Истового инженера
Язык: Русский
Формат: PDF
Качество: Издательский макет или текст (eBook)
Интерактивное оглавление: Да
Количество страниц: 252
Описание: Книга, которую вы держите в руках, продолжает серию «Книжная полка истового инженера», которая издается при поддержке компании YADRO. Это издание подготовлено к публикации Московским институтом электроники и математики им. А. Н. Тихонова НИУ ВШЭ совместно с издательством «ДМК Пресс».
Данная книга представляет собой учебник по теоретическим основам продвинутой функциональной верификации и содержит лучшие практики, используемые в настоящее время. В ней подробно описана унифицированная методология верификации (UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное покрытие, утверждения, формальная верификация, тестбенчи, косимуляция, эмуляция, аппаратное ускорение верификации и т. д.
Каждая глава книги предваряется краткими тезисами и конспектом, а в конце завершается контрольными вопросами, что делает ее отличным базовым учебником для преподавания верификации в вузах и для самостоятельного обучения.
Примеры страниц (скриншоты)
Оглавление
От издательства................................................................................................10
Об авторах.......................................................................................................11
Рецензии на книгу............................................................................................13
Благодарности..................................................................................................15
Предисловие от автора русского издания............................................................16
Глава 1. Введение.............................................................................................18
Конспект...........................................................................................................18
Введение...........................................................................................................19
Перенимаем опыт...............................................................................................20
Для кого эта книга?............................................................................................21
Контрольные вопросы.........................................................................................22
Глава 2. Проблемы верификации.........................................................................23
Конспект............................................................................................................23
Проблемы верификации......................................................................................24
Пропущенные ошибки – результат невезения?......................................................25
Жажда скорости..................................................................................................27
Делать больше с меньшими ресурсами..................................................................28
Фрагментарный процесс разработки и верификации..............................................29
Контрольные вопросы.........................................................................................31
Глава 3. Продвинутая функциональная верификация............................................33
Конспект...........................................................................................................34
Продвинутая функциональная верификация.........................................................35
Верификация как отдельная задача.....................................................................35
Координация верификации с другими задачами разработки...................................37
Верификация как многопоточный процесс............................................................38
Верификация не бывает стопроцентной................................................................40
Методология важнее инструментов.......................................................................40
Каждому проекту – своя верификация..................................................................41
Контрольные вопросы..........................................................................................42
Глава 4. Успешная верификация...........................................................................43
Конспект.............................................................................................................43
Успешная верификация........................................................................................44
Тайм-менеджмент.................................................................................................45
Управление ресурсами..........................................................................................47
Процессы верификации........................................................................................48
Подходы к верификации.......................................................................................51
Контрольные вопросы..........................................................................................52
Глава 5. Профессиональная верификация.............................................................54
Конспект............................................................................................................55
Профессиональная верификация.........................................................................55
Понятие профессиональной верификации............................................................56
Ценность верификации.......................................................................................57
Стоимость продвинутой верификации..................................................................58
Верификация: задача второго сорта....................................................................59
Изменение текущего восприятия.........................................................................61
Контрольные вопросы........................................................................................63
Глава 6. Унифицированная методология верификации..........................................64
Конспект...........................................................................................................65
Унифицированная методология верификации......................................................66
Что делает методологию единой?........................................................................67
Повышение скорости и эффективности................................................................68
Ключевые понятия.............................................................................................69
Обзор методологии UVM.....................................................................................78
Контрольные вопросы........................................................................................83
Глава 7. Проектирование на системном уровне
унифицированной методологии верификации......................................................84
Конспект...........................................................................................................85
Проектирование на системном уровне унифицированной методологии
верификации.....................................................................................................87
От чистого листа к функциональному виртуальному прототипу..............................88
Использование функционального виртуального прототипа....................................91
Разработка функционального виртуального прототипа.........................................94
Верификация функционального виртуального прототипа......................................98
Контрольные вопросы.......................................................................................100
Глава 8. Цифровые подсистемы управления........................................................101
Конспект..........................................................................................................102
Цифровые подсистемы управления.....................................................................104
Шаг 1: планирование верификации....................................................................106
Шаг 2: обеспечение качественных входных данных.............................................109
Шаг 3: выполнение............................................................................................113
Шаг 4: проверка готовности блоков....................................................................120
Контрольные вопросы........................................................................................121
Глава 9. Алгоритмические цифровые подсистемы.................................................123
Конспект...........................................................................................................124
Алгоритмические цифровые подсистемы..............................................................124
Шаг 1: верификация алгоритма...........................................................................125
Шаг 2: разработка тестбенчей.............................................................................128
Шаг 3: верификация окончательной реализации...................................................129
Шаг 4: интеграция и проверка готовности проекта................................................131
Контрольные вопросы........................................................................................131
Глава 10. Аналоговые/высокочастотные подсистемы............................................133
Конспект...........................................................................................................134
Аналоговые/высокочастотные подсистемы...........................................................135
Методология Cadence ACD..................................................................................136
Сходящееся проектирование..............................................................................138
Маршрут проектирования согласно методологии ACD...........................................140
Системные требования.......................................................................................142
Оценка осуществимости дизайна........................................................................142
Требования к интегральной схеме......................................................................142
Стратегия моделирования..................................................................................143
Поведенческое моделирование. Моделирование на верхнем уровне......................146
Проектирование на уровне модулей....................................................................146
Калибровка моделей..........................................................................................146
Стратегия физического проектирования..............................................................147
Планирование кристалла и предварительная трассировка верхнего уровня...........147
Обновление трассировки....................................................................................147
Извлечение RC-параметров................................................................................147
Анализ уровня кристалла...................................................................................148
Завершение разработки чипа.............................................................................148
Контрольные вопросы........................................................................................148
Глава 11. Интеграция и системная верификация...................................................149
Конспект...........................................................................................................150
Интеграция и системная верификация.................................................................151
Системная интеграция........................................................................................152
Системная верификация.....................................................................................155
Контрольные вопросы...........................................................................................160
Глава 12. Проектирование на системном уровне......................................................162
Конспект...............................................................................................................163
Проектирование на системном уровне.....................................................................164
Проблемы, решаемые с помощью функционального виртуального прототипа..............164
Верификация и разработка программного обеспечения.............................................166
Абстракция............................................................................................................171
Абстракция верификации........................................................................................173
Моделирование на уровне транзакций.....................................................................175
Контрольные вопросы.............................................................................................176
Глава 13. Инструменты формальной верификации....................................................178
Конспект...............................................................................................................179
Инструменты формальной верификации..................................................................180
Когда надо использовать формальную верификацию?..............................................180
Формальные методы верификации..........................................................................182
Контрольные вопросы............................................................................................191
Глава 14. Разработка тестбенчей............................................................................193
Конспект...............................................................................................................194
Разработка тестбенчей...........................................................................................195
Компромиссы.........................................................................................................196
Унифицированные тестбенчи...................................................................................201
Верификационные тесты..........................................................................................207
Контрольные вопросы..............................................................................................213
Глава 15. Продвинутые тестбенчи.............................................................................214
Конспект.................................................................................................................215
Продвинутые тестбенчи...........................................................................................215
Утверждения..........................................................................................................216
Покрытие тестами...................................................................................................223
Реактивные тестбенчи............................................................................................228
Контрольные вопросы............................................................................................231
Глава 16. Аппаратная верификация........................................................................232
Конспект...............................................................................................................233
Аппаратная верификация.......................................................................................234
Ускоренная совместная верификация......................................................................235
Интеграция процесса совместной верификации в среду проектирования...................241
Контрольные вопросы............................................................................................242
Глоссарий.............................................................................................................244
Предметный указатель...........................................................................................247
