Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Метод извлечения EFSM-моделей из HDL-описаний: применение к функциональной верификации
Авторы
	Камкин А.С.
	Смолов С.А.
Год публикации
	2014
УДК
	004.05
Аннотация
	Сложность цифровой аппаратуры неуклонно возрастает, что существенно затрудняет процесс проверки ее функциональной корректности. Современные методы верификации HDL-описаний основаны на использовании моделей, удобных для генерации тестов и формальной проверки свойств. В данной статье описывается новый подход к извлечению моделей в форме расширенных конечных автоматов (Extended Finite State Machine, EFSM) из исходного кода HDL-описаний, а также обсуждаются возможности использования таких моделей в процессе верификации.
Ключевые слова
	функциональная верификация, HDL-описание, EFSM-модель, охраняемое действие, статический анализ, генерация тестов
Ссылка на статью
	Камкин А.С., Смолов С.А. Метод извлечения EFSM-моделей из HDL-описаний: применение к функциональной верификации // Проблемы разработки перспективных микро- и наноэлектронных систем - 2014. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть 2. С. 113-118.
Адрес статьи
	http://www.mes-conference.ru/data/year2014/pdf/D111.pdf