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

Генерация синтетических клонов приложений пользователя для функциональной верификации
Авторы
	Гревцев Н.А.
	Краснюк А.А.
	Орлов Д.О.
	Чибисов П.А.
Год публикации
	2021
DOI
	10.31114/2078-7707-2021-3-50-56
УДК
	004.052.42
Аннотация
	В данной работе предлагается методика получения коротких синтетических клонов приложений пользователя, которые могут быть использованы для функциональной верификации RTL-модели микропроцессора. Синтез таких уменьшенных тестов применим при выполнении двух условий: тест воспроизводит заранее заданные характеристики выполнения машинного кода того приложения, на котором он основан, то есть является репрезентативным набором инструкций микропроцессора, и достигает того же результата покрытия за гораздо меньшее время. Множество созданных коротких репрезентативных тестов, время выполнения которых на RTL-модели занимает до 10 минут, используется вместо продолжительных оригинальных программ, запуск которых не представляется возможным за требуемое время.
Ключевые слова
	функциональная верификация, метрики покрытия, тесты производительности, граф потока управления, направленная генерация тестов, цикломатическая сложность программ.
Ссылка на статью
	Гревцев Н.А., Краснюк А.А., Орлов Д.О., Чибисов П.А. Генерация синтетических клонов приложений пользователя для функциональной верификации // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2021. Выпуск 3. С. 50-56. doi:10.31114/2078-7707-2021-3-50-56
Адрес статьи
	http://www.mes-conference.ru/data/year2021/pdf/D078.pdf