Моделирование арифметико-логического устройства для вычитания УДЦ

Операция сложения выполняется в арифметико-логическом устройстве - АЛУ (см. рис.1) .В данной работе была написана программа моделирования АЛУ для вычитания УДЦ.Тема: Моделирование АЛУ для вычитания УДЦ.Устройство вычитание семантика верификация программа.На рис.1 представлена структурная схема АЛУ для вычитания 18-разрядных целых чисел.Рис.1 Структурная схема АЛУ для вычитания.Теория вычислительных процессов.Написать аксиоматическую семантику команды ассемблера.По входной шине в регистр А (RA) и в регистр В (RB) заносятся операнды, представленные УДЦ формате.Далее, происходит нахождение разности операндов.