Часть УУ работает

[vak]

МЭСМ-6 уже проходит несколько тестов: работают команды uj, vtm, utm, mtj, vzm, v1m, j+m, vjm, vlm, utc, wtc.

Я добавил в фазу decode автоматическое приращение счётчика команд (PC), теперь некоторые команды выполняются за один такт (vtm, utm, mtj. j+m).

Описание микроархитектуры по мере разработки постепенно образуется на странице: https://github.com/besm6/mesm6/wiki/Microarchitecture

Comments

[spamsink]

ОК, тогда я сделаю state machine, как мне удобно.

Кстати, AAX и AOX обнуляют Y, а AEX делает Y := ACC. :) Тесты это не проверяют?

[vak]

Я как раз сейчас добавляю установку Y в АУ в зависимости от операции.
Трудность с UZA и U1A: они тоже должны ставить Y := ACC, но поскольку они выполняются в УУ, они не могут влиять на регистр Y, который находится в АУ. Может быть придётся специальный сигнал тащить в АУ для этого.

[spamsink]

Не придется. С точки зрения АУ это будет просто AEX 0, а раз режимы живут в УУ, то сохранение текущего режима (в отличие от настоящего AEX, устанавливающего логическую группу) не требует никаких дополнительных сигналов в АУ.
Но тогда придется тащить какой-то сигнал, указывающий, как делать YTA.

[vak]

В имеющихся тестах есть проверки Y после некоторых команд, но их заведомо мало. Надо будет писать отдельный тест для YTA и отлаживать его на SIMH, в котором мы более-менее уверены.

[spamsink]

Я подумал, а зачем вообще нужно, чтобы УУ видел Y? Он же всё равно ничего с ним сделать не может. Единственная польза от него в УУ - это реализовать YTA в логической группе как "считывание", а в арифметической - подавать как аргумент в АУ. Тогда АУ будет полностью экранирован от понятия группы.

[vak]

Тоже вариант. Но тогда YTA будет операцией АУ.

[spamsink]

Одно из двух - или Y сидит в АУ, не вылезая наружу, и будет две разные операции АУ для разных режимов YTA, или как сейчас, и аналога операции YTA в АУ не будет вообще. В арифметическом режиме в АУ будет выполняться только ее E+N часть.

[vak]

Как тебе проще, так и делай.
Мне казалось, что как сейчас получается достаточно просто.
Единственная проблема вылезла - установка Y<=A командами UZA и U1A.