1 Введение в маршрут проектирования и упражнения с комбинационной логикой Ведет занятие: Александр Силантьев, Начальник лаборатории НИЛ ЭСК университета МИЭТ
2 Маршрут проектирования и типы верификации цифровых устройств. Введение в функциональную верификацию. Выполнение и разбор простейших примеров Ведет занятие: Сергей Чусов, Инженер по верификации цифровых устройств НИЛ-ЭСК-МИЭТ
3 Последовательностная логика на ПЛИС. Схемы с тактовым сигналом и состоянием Ведет занятие: Александр Силантьев, Начальник лаборатории НИЛ ЭСК университета МИЭТ
4 Концепция конечного автомата в RTL-проектировании Ведет занятие: Александр Силантьев, Начальник лаборатории НИЛ ЭСК университета МИЭТ
5 Функциональная верификация и базовая генерация случайных воздействий. Взаимодействие с устройствами с синхронной логикой. Ведет занятие: Сергей Чусов, Инженер по верификации цифровых устройств НИЛ-ЭСК-МИЭТ