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

Метод генерации функциональных тестов для HDL-описаний на основе проверки HLDD-моделей
Авторы
	Лебедев М.С.
	Смолов С.А.
Год публикации
	2016
УДК
	004.05
Аннотация
	Автоматизированные методы являются перспективным направлением в области проверки корректности (верификации) цифровой микроэлектронной аппаратуры. В настоящее время предложен ряд методов генерации функциональных тестов, основанных на использовании моделей. В данной статье предложен новый метод, основанный на автоматическом извлечении моделей в форме высокоуровневых решающих диаграмм и генерации тестов, обеспечивающих высокое покрытие кода, с помощью средств проверки моделей. Проведено сравнение с существующими методами, основанными на извлечении моделей из исходного кода. Результаты экспериментов демонстрируют преимущества предложенного подхода.
Ключевые слова
	проектирование аппаратуры, функциональная верификация, статический анализ, генерация тестов, охраняемое действие, высокоуровневая решающая диаграмма, расширенный конечный автомат, проверка моделей.
Ссылка на статью
	Лебедев М.С., Смолов С.А. Метод генерации функциональных тестов для HDL-описаний на основе проверки HLDD-моделей // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2016. № 2. С. 24-31.
Адрес статьи
	http://www.mes-conference.ru/data/year2016/pdf/D122.pdf