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

[Titus]

Во что?

Пока не знаю, не разбирался. Тем более там несколько PLM-ок - прерывания, ветвления и т.д.

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

Тебе надо с Сергеем Вакуленко пообщаться, он вроде занимался верификацией ядер на математической основе, можешь попробовать его уговорить доказать что ВМ1/ВМ2 работают верно

Не знаю, кто это) А 'верификация ядер на математической основе' звучит, как 'сферический конь в вакууме' )

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

Полный анализ и документирование микрокода 1801ВМ1 занял примерно год

Год - это жестко) Что же там можно год анализировать)

Я понимаю - год перерисовывать 20000 транзисторов, или сколько там в ВМ2 и ВМ1.

[Advertiser]

[Vslav]

Не знаю, кто это) А 'верификация ядер на математической основе' звучит, как 'сферический конь в вакууме' )

И близко "не конь", formal verification - это вполне оформившийся научный подход. Люди разрабатывают ядро, а потом математически
доказывают что там не ошибок и оно соответствует спецификации.

Год - это жестко) Что же там можно год анализировать)

Для хобби - норм. И сравнить по скорости не с чем, пока существует только мое единственное описание микрокода ВМ1 и все

[Titus]

Люди разрабатывают ядро, а потом математически
доказывают что там не ошибок и оно соответствует спецификации.

Ну, я не математик, университетов не кончал. У меня свои методы) ('Нет у вас методов против Кости Сапрыкина' (c))

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

Для хобби - норм. И сравнить по скорости не с чем, пока существует только мое единственное описание микрокода ВМ1 и все

Я пока что этого ничего не читал, и даже достатую из Зеленограда мною документацию на ВМ2 не смотрю, чтобы анализировать транзисторную схему по возможности беспристрастно.

Так сколько ты реверсил ВМ2 по времени?

[nzeemin]

Не знаю, кто это)

https://ru.wikipedia.org/wiki/%D0%92...B2%D0%B8%D1%87
http://vak.ru/doku.php/proj
https://ramlamyammambam.livejournal.com/
https://github.com/sergev

[Titus]

Мне это говорит только то, что он какой-то PDP-шник и все)

Пока что мне не нужны чужие методы верификации, т.к. люблю ходить своим путем. Вдруг чего интересного откроешь)

[Hunta]

он какой-то PDP-шник

нет

[Vslav]

Так сколько ты реверсил ВМ2 по времени?

Та кто его знает, начато было осенью 2015, закончено летом 2019, но это, ессно, не чистое время. Если буду реверсить F11, то попробую почасовой учет вести.

[Titus]

Та кто его знает, начато было осенью 2015, закончено летом 2019, но это, ессно, не чистое время. Если буду реверсить F11, то попробую почасовой учет вести.

Жестко)

Посмотрел АЛУ. В общем, достаточно простое и универсальное. Сумматор, сдвигатель вправо-влево, ускоренный перенос сгруппированный по 4 бита.

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

Если буду реверсить F11

Кстати, никто не в курсе, фоткались ли амижные чипы, хотя бы от самых младших Амиг (Агнус, Паула, Денис и т.д.).

[tnt23]

Кстати, никто не в курсе, фоткались ли амижные чипы, хотя бы от самых младших Амиг (Агнус, Паула, Денис и т.д.).

Про эти не знаю, но, например, Buster (контроллер шины Zorro) почти целиком описан в патентах на уровне логических элементов.

[Titus]

Про эти не знаю, но, например, Buster (контроллер шины Zorro) почти целиком описан в патентах на уровне логических элементов.

Нет, бустер не интересен. Интересна базовая амига. Или хотя бы A1200.