П. Уилкокс, А.Ю. Романов. Профессиональная верификация. Руководство по продвинутой функциональной верификации

Продвинутая функциональная верификация - это особый подход к верификации сложных дизайнов, включающий в себя множество методик и приемов, используемых разработчиками современных цифровых систем. Специалисты, владеющие профессиональными навыками верификации, сегодня высоко ценятся на рынке труда. В то же время учебных материалов и специальных курсов по данной теме все еще очень мало. Данная книга содержит теоретические основы продвинутой функциональной верификации и лучшие практики, используемые в настоящее время. В ней подробно описана унифицированная методология верификации (UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное покрытие, утверждения, формальная верификация, тестбенчи, косимуляция, эмуляция, аппаратное ускорение верификации и т.д. Каждая глава книги предваряется краткими тезисами и конспектом, а завершается контрольными вопросами, что делает ее отличным учебным пособием для преподавания верификации в вузах и самостоятельного обучения.

Издательство: ДМК Пресс
Год: 2025
Страниц: 252
Язык: русский
Формат: pdf

 

Скачать книгу (34,6 МБ):