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

Основные подходы к верификации блока вещественной арифметики
Авторы
	Аряшев С.И.
	Зубковский П.С.
	Николина Н.В.
	Чибисов П.А.
Год публикации
	2005
УДК
	004.312.44
Аннотация
	В статье описаны основные подходы к верификации блока вещественной арифметики, такие как тестовые воздействия для каждого арифметического блока, моделирование сигналов интерфейса, тесты разработчика, случайные тесты и тесты производительности.
Ключевые слова
	верификация, FPU
Ссылка на статью
	Аряшев С.И., Зубковский П.С., Николина Н.В., Чибисов П.А. Основные подходы к верификации блока вещественной арифметики // Проблемы разработки перспективных микроэлектронных систем - 2005. Сборник научных трудов / под общ. ред. А.Л.Стемпковского. М.:ИППМ РАН, 2005. С. 269-274.
Адрес статьи
	http://www.mes-conference.ru/data/year2005/40.doc