книги Наука, техника, медицина Техника Радиоэлектроника Микроэлектроника

Заглянуть

Уилкокс П., Романов А. Ю.

Профессиональная верификация

Name: Профессиональная верификация
Price: 2198.53 RUB
Availability: InStock
ISBN: 978-5-93700-398-0

Код 5607924

ISBN: 978-5-93700-398-0
250 страниц

май 2025
ДМК
500 г

Бумажная книга

31.44 USD

Добавить в корзину

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 16.08.2025; планируемая отправка: 17.08.2025

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 19.08.2025; планируемая отправка: 20.08.2025

Аннотация к книге "Профессиональная верификация"

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

Данная книга содержит теоретические основы продвинутой функциональной верификации и лучшие...

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

Каждая глава книги предваряется краткими тезисами и конспектом, а завершается контрольными вопросами, что делает ее отличным учебным пособием для преподавания верификации в вузах и самостоятельного обучения.

Книга, которую вы держите в руках, продолжает серию "Книжная полка истового инженера", которая издается при поддержке компании YADRO. Издание подготовлено к публикации совместно с Московским институтом электроники и математики им. А. Н. Тихонова НИУ ВШЭ.

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Текст комментария

Оцените книгу:

Издательство:	ДМК
Дата выхода:	май 2025
ISBN:	978-5-93700-398-0
Объём:	250 страниц
Масса:	500 г
Размеры(высота, ширина), см:	24 x 17
Обложка:	твёрдая
Бумага:	офсетная

Вместе с этой книгой покупают

Плюхтер Плюх. Петербургская история бумажная книга

16.74 USD

В корзину

Я хочу жить в своем темпе. Что я понял, пока бежал за чужими мечтами

Я хочу жить в своем темпе. Что я понял, пока... бумажная книга

15.21 USD

В корзину

Потерянная жертва бумажная книга

Роберт Брындза

14.39 USD

В корзину

Повесь луну бумажная книга

Джаннетт Уоллс

16.17 USD

В корзину

Круть бумажная книга

Виктор Пелевин

25.44 USD

В корзину

Защита систем: чему "Звездные войны" учат инженера ПО

Защита систем: чему "Звездные войны" учат... бумажная книга

Адам Шостак

28.9 USD

В корзину

Плюхтер Плюх. Петербургская история

бумажная книга

На крышах самых известных зданий Петербурга обитают плюхтеры - человечки, которые присматривают за порядком. Иногда плюхтеров отправляют и на крыши обычных домов. Плюхтер Плюх попал на крышу одного из домов 1-й линии Васильевского острова. С помощью голубя Екатерины Второй и кота Пирожка он должен разрешить накопившиеся в доме проблемы, а главное - помирить обитателей коммунальной квартиры номер семь, в...

Издательство: Феникс
Дата выхода: февраль 2025

16.74 USD

В корзину

Я хочу жить в своем темпе. Что я понял, пока бежал за чужими мечтами

бумажная книга

Мы живем по правилам, построенным на традиционных ожиданиях общества, таких как поступление в университет, нахождение хорошей работы и создание семьи. Ха Ван задается вопросом, кто установил эти «правила» и нужно ли следовать им, чтобы жизнь считалась успешной. Понимая, что гнался за этой идеальной жизнью, он решил остановиться и переосмыслить свой путь. Он бросил работу и начал искать ответы на основные...

Издательство: Эксмо
Дата выхода: январь 2025

15.21 USD

В корзину

Потерянная жертва

бумажная книга

Роберт Брындза

- Для поклонников атмосферного и жесткого триллера в духе «Молчания ягнят». - Новинка от британского мастера жанра, автора бестселлера «Девушка во льду». - Роман, получивший оценку 4,5 и более 5884 отзывов на Amazon. - В центре расследования детектива Кейт Маршалл — «глухарь» 30-летней давности. Тогда, в конце 80-х, исчезла ученица лондонской школы — ни свидетелей, ни тела. У популярного...

Издательство: АСТ
Дата выхода: июнь 2025

14.39 USD

В корзину

Повесь луну

бумажная книга

Джаннетт Уоллс

от автора "Замок из стекла" В России продано 300 000 книг Джаннетт Уоллс. Когда Салли Кинкейд была ребенком, мачеха выставила ее из дома, отдав на воспитание тете. Но спустя девять лет Салли вернулась, чтобы занять свое место в семье и бизнесе. Многие годы Кинкейды занимались производством виски, однако «Сухой закон» ставит семейное дело под удар. Салли бросает вызов условностям: отказывается...

Издательство: Эксмо
Дата выхода: май 2025

16.17 USD

В корзину

Круть

бумажная книга

Виктор Пелевин

Идет третий век Зеленой Эры. Имплант-коррекция «Открытого Мозга» превратила женщин в доминантный гендер, и в уголовной иерархии изменился баланс сил. На ее вершину поднялся фем-блатняк — безжалостные куры-заточницы. Противостоять им не может никто из биологических мужчин, но есть нюанс. Маркус Зоргенфрей — лучший баночный оперативник «TRANSHUMANISM INC.» Задания, которые поручает ему адмирал-епископ Ломас,...

Издательство: Эксмо
Дата выхода: октябрь 2024

25.44 USD

В корзину

Защита систем: чему "Звездные войны" учат инженера ПО

бумажная книга

Адам Шостак

Практическое руководство по написанию безопасных приложений с помощью опыта мастеров-джедаев из «Звездных войн». Чему могут научить R2-D2, Дарт Вейдер, Хан Соло или даже Йода в плане безопасности программного обеспечения? В книге «Защита систем: чему "Звездные войны" учат инженеров ПО» дан целый арсенал стратегий и методов защиты, которые применимы не только в фантастическом мире, но и в реальных...

Издательство: Эксмо
Дата выхода: май 2025

28.9 USD

В корзину