П. Уилкокс, А.Ю. Романов | Профессиональная верификация. Руководство по продвинутой функциональной верификации (2025) [PDF]

Автор: П. Уилкокс, А.Ю. Романов
Издательство: ДМК Пресс
Серия: Книжная полка Истового инженера
ISBN: 978-5-93700-398-0
Жанр: Компьютерная литература

Формат: PDF
Качество: Изначально электронное (ebook)
Иллюстрации: Цветные

Описание:
Книга, которую вы держите в руках, продолжает серию «Книжная полка истового инженера», которая издается при поддержке компании YADRO. Это издание подготовлено к публикации Московским институтом электроники и математики им. А. Н. Тихонова НИУ ВШЭ совместно с издательством «ДМК Пресс».
Данная книга представляет собой учебник по теоретическим основам продвинутой функциональной верификации и содержит лучшие практики, используемые в настоящее время. В ней подробно описана унифицированная методология верификации (UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное покрытие, утверждения, формальная верификация, тестбенчи, косимуляция, эмуляция, аппаратное ускорение верификации и т. д.
Каждая глава книги предваряется краткими тезисами и конспектом, а в конце завершается контрольными вопросами, что делает ее отличным базовым учебником для преподавания верификации в вузах и для самостоятельного обучения.

Скриншоты:

Время раздачи: с 09:00 до 21:00 (минимум до появления первых 3-5 скачавших)