Занятие 2 (2024-25): Маршрут проектирования и типы верификации.Введение в функциональную верификацию

Темы занятия: Маршрут проектирования и типы верификации цифровых устройств. Введение в функциональную верификацию. Выполнение и разбор простейших примеров. Сергей Чусов. Инженер по верификации цифровых устройств НИЛ-ЭСК-МИЭТ ________________________________________________________________________________ Автор (разработчик материала) лекции – Сергей Чусов. Использование материалов и записи лекции и/или их частей без предварительного согласия не допускается. По вопросам использования материалов и записи лекции в коммерческих целях необходимо направить обращение в ООО «КНС ГРУПП» (YADRO) по адресу электронной почты synthesis@yadro.com. По вопросам некоммерческого использования материалов и записи лекции обращение может быть направлено в ООО «КНС ГРУПП» (YADRO) по адресу электронной почты synthesis@yadro.com, либо на адрес электронной почты автора chusserge@mail.ru. Такое обращение обязательно должно содержать описание цели использования.