Реверс-инжиниринг УКНЦ (1515ХМ1&2, 1801ВП1, 1801ВМ2)

[Titus]

Специально режимы когда будет некомплиментарность я не выискивал, все делал по стандартной методике - создал компаратор шин, прогнал заводские тесты, автоматизированнм методом убедился что комплиментарность всегда наблюдается и потом ненужную AY в синхронных моделях выбросил. Хочешь поискать некомплиментарность сам?

Я уже нашел все, и выяснил что некомплиментарности там нет) Я же приписал потом, что ответ на второй вопрос я сам нашел)

- - - Добавлено - - -

SXT_RXY активирует расширение знака
SXT_Y=0 - расширять по старшему биту младшего байта, SXT_Y=1 - расширить нулевым байтом.
QSWP - на буферный регистр данных (на Q-bus) выполняется запись по нечетному адресу, соответственно надо блокировать расширение знака (а то затрет старший байт, который собственно всегда нужен при такой записи)

А вот тут какая-то нестыковка, когда SXT_Y=1.
Смотри, SXT_Y = 1, значит T7364 и T7382 закрыты, а значит линии NET01970 и NET01973 подтянуты к плюсу.
А значит при установленном SXT_RXY, шина AX8..15 и /AY8..15 будут в нуле (вышеописанные 00 на комплиментарных шинах). А раз шины в 0, то запись в старшую часть регистров произойти не сможет, в них останется то, что было до этого.

[Advertiser]

[Vslav]

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

Да, это я забыл:

assign axy_wh  = ~(sxt_rxy & sxt_y);

SXT_RXY=1 и SXT_Y=1 маскирует запись в старшую половину словного регистра.
Но, ЕМНИП, не все регистры пишуться с AX/AY, и если выбросить SXT_Y из уравнения AX, то процессор какие-то тесты фейлил (ЕМНИП).

[Titus]

Но, ЕМНИП, не все регистры пишуться с AX/AY, и если выбросить SXT_Y из уравнения AX, то процессор какие-то тесты фейлил (ЕМНИП).

Вот это я не понял, какие тесты.

[Vslav]

Вот это я не понял, какие тесты.

Заводские 7914xx. Сначала отлаживалась оригинальная асинхронная модель. А переход к синхронной делался маленькими шажками.
И после каждого маленького шажка прогонялся набор заводских тестов 401, 402, 404 и сравнивалось время исполнения в тактах относительно эталона.
Вот выкидывание sxt_y вызывало сбой тестов.