Записи прошлых сезонов

Условия завершения процесса верификации. Функциональное покрытие. Введение в модель функционального покрытия SystemVerilog, ее создание и применение.

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

Введение в кэши: микроархитектура

Ведет занятие: Александр Кириченко, RTL разработчик. Компания Yadro

Законченное верификационное окружение (Verification Intellectual Property). Основные свойства и составные части. Step-by-step проектирование и отладка.

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

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

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