[Пол Уилкокс, Александр Романов] [ДМК] Профессиональная верификация (2025)
![Изображение [Пол Уилкокс, Александр Романов] [ДМК] Профессиональная верификация (2025)](https://s5.vkurse.info/attachments/1755833710368-png.66832/ "Картинка [Пол Уилкокс, Александр Романов] [ДМК] Профессиональная верификация (2025)")
Слив курса [ДМК] Профессиональная верификация [Пол Уилкокс, Александр Романов]
Продвинутая функциональная верификация - это особый подход к верификации сложных дизайнов, включающий в себя множество методик и приемов, используемых разработчиками современных цифровых систем. Специалисты, владеющие профессиональными навыками верификации, сегодня высоко ценятся на рынке труда. В то же время учебных материалов и специальных курсов по данной теме все еще очень мало.
Данная книга содержит теоретические основы продвинутой функциональной верификации и лучшие практики, используемые в настоящее время.
В ней подробно описана унифицированная методология верификации (UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное покрытие, утверждения, формальная верификация, тестбенчи, косимуляция, эмуляция, аппаратное ускорение верификации и т. д.
Каждая глава книги предваряется краткими тезисами и конспектом, а завершается контрольными вопросами, что делает ее отличным учебным пособием для преподавания верификации в вузах и самостоятельного обучения.
Книга, которую вы держите в руках, продолжает серию "Книжная полка истового инженера", которая издается при поддержке компании YADRO. Издание подготовлено к публикации совместно с Московским институтом электроники и математики им. А. Н. Тихонова НИУ ВШЭ.
Формат: PDF.
Продажник:
Скачать:
Слив курса [ДМК] Профессиональная верификация [Пол Уилкокс, Александр Романов]
Продвинутая функциональная верификация - это особый подход к верификации сложных дизайнов, включающий в себя множество методик и приемов, используемых разработчиками современных цифровых систем. Специалисты, владеющие профессиональными навыками верификации, сегодня высоко ценятся на рынке труда. В то же время учебных материалов и специальных курсов по данной теме все еще очень мало.
Данная книга содержит теоретические основы продвинутой функциональной верификации и лучшие практики, используемые в настоящее время.
В ней подробно описана унифицированная методология верификации (UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное покрытие, утверждения, формальная верификация, тестбенчи, косимуляция, эмуляция, аппаратное ускорение верификации и т. д.
Каждая глава книги предваряется краткими тезисами и конспектом, а завершается контрольными вопросами, что делает ее отличным учебным пособием для преподавания верификации в вузах и самостоятельного обучения.
Книга, которую вы держите в руках, продолжает серию "Книжная полка истового инженера", которая издается при поддержке компании YADRO. Издание подготовлено к публикации совместно с Московским институтом электроники и математики им. А. Н. Тихонова НИУ ВШЭ.
Формат: PDF.
Продажник:
Скачать: