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

[Vslav]

Свет вырубили, упса не хватило. Теперь еще минимум три дня ждать

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

Аха, вот теперь всё логично

После окончания работы с матрицами PLA первый экземпляр считывалки
сначала поедет к anasana, там мы прочтем оригинальные FPP от DEC,
и заодно посмотрим насколько получится запустить считывалку с
удаленными консультациями, устраним подводные камни. После этого
она поедет к тебе. Ты можешь начинать искать хороший преобразователь
USB<->UART 3.3V. Потому что матрицы здоровые, 32 мегабайта и так 20 минут
вычитываются на 921600. Если будет галимый кетаец, то, скорее всего придется,
снижать скорость. У меня точно FTDI-оригинал, работает стабильно, кетайцы же
страдают потерей и искажениями данных даже на 230400.

[Hunta]

Ты можешь начинать искать хороший преобразователь USB<->UART 3.3V.

Хм.. Ок, понял. У меня такой есть, вроде как нормальный, но - китайский и проверялся только на 115200.
Буду попробовать поискать, но есть так же мысль как попробовать проверить и его на больших скоростях..

[AFZ]

Года 3-4 назад я купил на Али кучку конвертеров USB <-> UART на чипе CH340G. Безукоризненно, в том числе и на больших скоростях. Не считая того, что, по слухам, несколько этих свистулек под одной виндой не работают - сам я больше одной свистульки в писюк не толкал.

[Hunta]

Года 3-4 назад я купил на Али кучку конвертеров USB <-> UART на чипе CH340G

О, спасибо, напомнил, тоже их, если я не ошибаюсь, прикупил несколько штук. Надо будет достать и попробовать

[Vslav]

Вот такой маршрут извлечения данных из MiCROM F11:

Reader, MLOG, VLIST, MCODE - разработанные мной утилиты.

Написал процедуры верификации и теперь прочитанная PLA из 1811ВУ1 совпадает с распознанной по фотографии.
По ходу еще три неверно распознанных транзистора удалил. Теперь Верилог матрицы получен из двух источников -
прочитан физически и распознан по фотографии. Для ВУ2/ВУ3 можно пройти так же. Для чипов которые не будут
вскрываться нужно вот то что на сером фоне (Квейн-МакКласки) - это конвертор бинарной таблицы в уравнения
(почти Верилог), делается старым кодом Espresso (который три дня думает и результата не дает), наверное буду
писать свою утилиту, но позже. Сейчас модель 1811ВУ1 готова, можно переходить к 1811ВМ1.

[Hunta]

Круть

[Vslav]

Круть

Ты в исходники MCODE посмотри
Там вычисление матриц с использованием SSE/AVX2.
8 миллионов состояний генерируется и верифицируется за 250мс на одном ядре старенького Haswell.
С такой базой уже можно и самому Квейна-МакКласки-Петрика писать и не ждать
три дня пока древний Espressо раздуплится

[Hunta]

Сделать виртуалку на Xeon-е (12 ядер, 3.33 ГГц и дать доступ?

[Vslav]

Сделать виртуалку на Xeon-е (12 ядер, 3.33 ГГц и дать доступ?

Не нужно, если хасвелл не справится, то рассмотрим CUDA

[Vslav]

Сейчас перевожу на Верилог схему M6/M8186/KDF-11Ax и вижу что там предоставляется доступ к регистрам MMU и PSW со стороны внешней шины. Были ли реальные внешние устройства которые могли хотя бы читать PSW/MMU? Потому что в KDF-11Bx чтение регистров со стороны шины уже, похоже, недоступно.

Процессоры с MMU придется представлять с дополнительной ведомой шиной, как это было с 1801ВМ1 - там тоже были регистры внутренней периферии - таймер и прочее.