Институт системного программирования им. В.П. Иванникова РАН


Метод извлечения расширенных конечных автоматов из HDL-описаний.

Авторы

С.А. Смолов.

Аннотация

В статье предлагается новый метод извлечения расширенных конечных автоматов из HDL-описаний
цифровой аппаратуры, а также представлены результаты апробации метода на модулях небольшой сложности.

Полный текст статьи в формате pdf

Ключевые слова

язык описания аппаратуры, функциональная верификация, расширенный конечный автомат

Издание

Сборник трудов ежегодной научно-практической конференции студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского, с.48-50.

Научная группа

Технологии программирования

Все публикации за 2015 год Все публикации