Завтра в 10:00 в рамках XVI Международной конференции «Новые информационные технологии в исследовании сложных структур» состоится пленарный доклад Романова Александра Юрьевича «Проект в МИЭМ: истории успеха».

Мероприятие пройдет в 501 аудитории. По завершении пленарной сессии состоится официальный анонс выхода новой книги — «Профессиональная верификация: руководство по продвинутой функциональной верификации».

Книга издается при поддержке компании YADRO и продолжает серию «Книжная полка истового инженера».

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

Приглашаем миэмовцев принять участие в заседании секции.