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

Метод извлечения EFSM-моделей из HDL-описаний: применение к функциональной верификации  

Авторы
 Камкин А.С.
 Смолов С.А.
Год публикации
 2014
УДК
 004.05

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

Copyright © 2009-2018 ИППМ РАН. All Rights Reserved.

Разработка сайта - ИППМ РАН