Ошибка в работе команды BEQ

[axonde]

Дана следующая команда: BEQ 005

Изначальное состояние ЭВМ - сброшенное (все флаги - 0).
Далее по адресу 002 введена команда выше.
Однако, при выполнении большого шага, ЭВМ не переходит в ячейку 005 (то есть не обновляет СК на адрес 005), так как флаг 0 сброшен и во время микро цикла не помечается.

Подробный лог:

Счетчик команд обновился до СК = 003.

При помечении флага Z = 0 до выполнении команды переход выполняется.
Как я понимаю, установка флага Z = 0 заранее не является верным, так как это флаг состояния нуля буффера регистра, но не аккумулятора, в то время как переход должен осуществляется только по значению аккумулятора.

[Lukramancer]

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

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

Тем не менее, в таком случае это не ошибка или проблема конкретно этого эмулятора, а либо неправильное описание команды в методических материалах и учебном пособии на странице 43, либо в микрокоде, который преведён в тех же методических материалах и учебном пособии на странице 114, а также поставляется с этим эмулятором, где может быть заменён.

Также отмечу, что запуск БЭВМ (то есть нажатие кнопки "Пуск" в этом эмуляторе) приводит к выполнению микрокода, расположенного по адресу A8 и отвечающего за пуск, в нём происходит вычисление флагов по значению аккумулятора. Таким образом операция BEQ в вашем примере будет исполнена корректно. Судя по этому, микрокод этой команды опирается исключительно на флаг, ожидая, что операции загрузки значения в аккумулятор и запуск программы со значением в регистре аккумулятора вычисляют этот флаг.