При помощи свежесобранного анализатора погонял по операциям: работает! Суммирование/вычитание, AND/OR/XOR -- всё как надо.
Теперь надо собраться с силами и собрать ещё три "ломтика", поставить их на объединяющую плату со схемой переноса и подумать над тем, как правильно проверить 32-битную арифметику. Если 8-битную можно просто прогнать по всем возможным значениям, то тут такой прямолинейный подход точно не годится, ибо Вселенная распадётся и погаснет раньше, чем закончится перебор.