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

Основные подходы к верификации блока вещественной арифметики

Авторы
 Аряшев С.И.
 Зубковский П.С.
 Николина Н.В.
 Чибисов П.А.
Год публикации
 2005
УДК
 004.312.44

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

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

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