Цифровая археология: 1801 и все-все-все

[Patron]

все двухоперандные операции будут занимать минимум три такта, плюс минимум по два такта на каждый автоинкремент/автодекремент.

На практике ( на реальной ДВК-1 с задержкой памяти 6 тактов ) - заметно возрастает лишь продолжительность команды MOV :

               R0  (R0)  (R0)+  @(R0)+  -(R0)  @-(R0)  Addr  @#Addr  @Tab(R0)

Mov     R1     14   37    41      49      41      50    49     49      64
Mov    (R1)    30   45    49      59      49      59    59     59      72
Mov    (R1)+   30   46    49      59      49      59    59     59      72
Mov   -(R1)    30   47    49      59      49      60    59     59      73

тогда как продолжительность команд ADD, SUB, BIS, BIC увеличивается только на один акт и только при наличии автодекремента :

               R0  (R0)  (R0)+  @(R0)+  -(R0)  @-(R0)  Addr  @#Addr  @Tab(R0)

Add     R1     14   47    47      60      49      61    60     60      73
Add    (R1)    30   55    55      69      56      70    69     69      82
Add    (R1)+   30   55    55      69      56      70    69     69      82
Add   -(R1)    30   56    56      69      56      70    69     69      82

[Advertiser]

[Vslav]

На практике ( на реальной ДВК-1 с задержкой памяти 6 тактов ) - заметно возрастает лишь продолжительность команды MOV :

Да это ужас-ужас просто - медленная печалька какая-то. Насколько я помню ту тему - это реально на MC1201.01 намеряли или на БК?
И еще вопрос есть - нет ли какого готового софта для PDP-11 для верификации ядра, аналогично такого как 8080 execiser для i8080?
Потому что на 580ВМ80А я гонял execiser достаточно долго, пока все косяки реверса не выловились.

[Titus]

И еще вопрос есть - нет ли какого готового софта для PDP-11 для верификации ядра, аналогично такого как 8080 execiser для i8080?
Потому что на 580ВМ80А я гонял execiser достаточно долго, пока все косяки реверса не выловились.

Есть под ВМ2, я делал для УКНЦ. Он гоняет все команды в несколько упрощенном варианте, чем полный перебор.

[svofski]

Таких железобетонных, как экзекутор нету. У меня осталось кое что, чем я отлаживал свою вм1 корку:
Тут какой-то общий тест:
https://code.google.com/p/bk0010/sou...arus%2Fbktests
И тут еще тесты, увы, без коментариев -- в основном мне их надиктовывал felix, а я уже смотрел по трейсам чего и как разваливалось. Сейчас, разумеется, ничего вспомнить не могу.
https://code.google.com/p/bk0010/sou...rus%2Fasmtests
Но вдруг пригодится.

[Vslav]

Да все пригодится, тестировать надо будет долго и упорно.
ПЛМ-ку я уже разрисовал, но ее надо будет сверить с фотографией, что нигде не накосячилось при переносе, возможно тут попрошу помощи на форуме. Там на входе оказывается 31 переменная - 16 из них это код инструкции и еще 15 разных всяких, 7 из них берутся с выхода ПЛМ, также один/несколько это флаги, прерывание и сброс.

Update: Текущий вариант схемы, пока примерно 8800 транзисторов, но они более-менее упорядочены были, дальше сложнее будет.

[Patron]

это реально на MC1201.01 намеряли или на БК?

На реальной ДВК-1 с тактовой частотой 5.3 МГц.

нет ли какого готового софта для PDP-11 для верификации ядра, аналогично такого как 8080 execiser для i8080?

Из родных дековских тестов XXDP на 1801ВМ1 нормально проходит тест основных команд LSI-11 - VKAAC0.BIC ( последние два символа в имени файла у тестов XXDP - номер версии теста, поэтому VKAAA0.BIC и т.п. - тестируют то же самое ).

Из тестов ТМОС на 1801ВМ1 идут основной тест команд 791401.TMS и тест прерываний 791404.TMS

[hobot]

http://archive.pdp-11.org.ru/ukdwk_a...kt/FODOS_TMOS/

и ещё тесты

http://archive.pdp-11.org.ru/ukdwk_a...ATRON_vm1test/

[bigral]

Update: Текущий вариант схемы, пока примерно 8800 транзисторов, но они более-менее упорядочены были, дальше сложнее будет.

мда, ну и схема! как в такое "вьехать" ? наверно надо книгу отдельную по исследованиям писать. А что с t172, t296 и t420 (замкнуто source-drain ???)?

[Vslav]

А что с t172, t296 и t420 (замкнуто source-drain ???)?

Это интегральная емкость, конденсатор. Затвор у таких транзисторов сделан в виде большой площадки и работает как емкость.

[MM]

Если софтово проверять исскуственный 1801ВМ1 , то, конечно, RT-11 и ТМОС - если при запуске DESS не вывалится - значит, ядро более - менее рабочее.
Более тонкая проверка - в БК11М, на играх, использующих таймер ( их имеется полно ). Опять же, надо железный образец верефицировать на реале, с перебором игрушек - штук так под 100. Вот если всё пойдет идентично оригиналу, включая "инсульт", можно будет предположить, что имеется точная копия. Софт на ДВК - это только поверхостная проверка.
*
Кстати, не все реальные 1801ВМ1 хорошо исполняют экзотические команды и методы адресации - это извесно только реальным писателям софта.