Математическое описание компьютерных операций суммирования и вычитания целых чисел при смещенных кодах операндов

Abstract

Двоичный код суммы сумматора неотрицательных целых чисел предложено описывать как сумму операндов по модулю – весовому коэффициенту выходного переноса. Показано, что традиционное определение дополнительного кода целых чисел компактно описывается одной операцией вычисления остатка переменной, смещенной по модулю сумматора. Предложены оригинальные математические модели операций вычисления дополнительного кода суммы и разности целых чисел, а также логические выражения для контроля переполнения разрядной сетки сумматора.