Занятие 10 (2023-24): Функ.верификация последовательностной логики и генерация случайных воздействий

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