Метод оперативного тестирования вычислительных устройств с плавающей точкой
Анотація
Рассматривается вопрос оперативного тестирования вычислительных устройств с плавающей точкой, выполняющих приближенную обработку мантисс чисел. Предлагается метод контроля по неравенствам умножителя мантисс. Результат операции сравнивается с его нижней и верхней границами, вычисленными по операндам. Метод обнаруживает ошибки в зависимости от их величины и повышает достоверность контроля результатов, снижая отбраковку достоверных результатов.
Авторське право (c) 2004 Дрозд А. В., Копытчук Н. Б., Огинская Е. В.

Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.