20 декабря: Динамическая проверка HDL-описаний на основе эталонных моделей

Александр Камкин

Александр Камкин

Александр Камкин – к.ф.-м.н., старший научный сотрудник Института системного программирования РАН. Область научных интересов: спецификация и верификация цифровой аппаратуры, статический и динамический анализ HDL-описаний, генерация тестов для микропроцессоров.

Добавить комментарий