Занятие 24 (2024-25): Введение в формальную верификацию.Сравнение с верификацией на основе симуляции

Тема занятия: Введение в формальную верификацию. Сравнение с верификацией на основе симуляции. Базовая теория и эффективность применения. Разбор простейших примеров.

Сергей Чусов, Инженер по верификации цифровых устройств НИЛ-ЭСК-МИЭТ

Автор (разработчик материала) лекции – Сергей Чусов.
Использование материалов и записи лекции и/или их частей без предварительного согласия не допускается. По вопросам использования материалов и записи лекции в коммерческих целях необходимо направить обращение в ООО «КНС ГРУПП» (YADRO) по адресу электронной почты [email protected] . По вопросам некоммерческого использования материалов и записи лекции обращение может быть направлено в ООО «КНС ГРУПП» (YADRO) по адресу электронной почты [email protected] , либо на адрес электронной почты автора [email protected] . Такое обращение обязательно должно содержать описание цели использования.