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

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

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

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

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

Ваш e-mail не будет опубликован. Обязательные поля помечены *

*

Можно использовать следующие HTML-теги и атрибуты: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>