Государственная регистрация программы для ЭВМ № 2022669328 от 19.10.2022 Бюл. No 10. Средство верификации результата умножения плавающих чисел. Морозов Николай Викторович, Рождественский Юрий Владимирович, Дьяченко Юрий Георгиевич, Степченков Дмитрий Юрьевич; заявитель Федеральное государственное учреждение «Федеральный исследовательский центр «Информатика и управление» Российской академии наук» (ФИЦ ИУ РАН). № заявки 2022668897, дата поступления заявки 13.10.2022.
ЗПрограмма предназначена для визуального контроля промежуточных результатов умножения мантисс двух 64-разрядных или попарно четырех 32-разрядных чисел с плавающей точкой, представленных в соответствии со стандартом IEEE754. Результаты непосредственного умножения мантисс в 128-разрядной сетке выводятся в форму и сравниваются с результатами умножения, полученными формализованными методами: параллельным умножителем двоичных чисел в дополнительном коде, модифицированным алгоритмом Бута с использованием и без использования «дерева» Уоллеса для сложения частичных произведений. Также программа дает возможность проверки, настройки и отладки экспериментальных алгоритмов умножения, представляя результат послойных и пошаговых результатов вычислений в шестнадцатеричном и двоичном виде. Тип ЭВМ: IBM PC-совмест. ПК на базе процессора с архитектурой х32; ОС: Windows 7/8/10.