Реверс-инжиниринг Z80

[Titus]

В общем, перепроверил по оригинальному несортированному списку транзисторов, да есть ошибка.
Как видно из схемы, на стоке T5919 всегда будет 0, т.к. либо при CLK = 1, транзистор T5919 будет открыт, и на стоке будет 0. Либо при CLK = 0, будет отключена цепочка M1/T2/CLK, затвор T5957 окажется подтянут к плюсу (все затворы подтянуты к плюсу, т.к. подтягивающие транзисторы опущены за ненадобностью), и на стоке T5919 опять будет 0. А раз эта цепь не работает, то и триггер, который она тактирует, тоже не будет функционировать правильно.
Принимая во внимание, что у авторов модели все тесты проходили прекрасно, значит эта ошибка на оригинальном Z80, и на работоспособность она не влияет. Буду проверять дальше.

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

В общем, похоже, что-то я не так понимаю с этими CLK. Надо смотреть рисунок кристалла.

[Titus]

В общем, стал смотреть сам кристалл (благо, слои хорошо документированы в том же Z80 Explorer), и оказалось, что прав был уважаемый наш товарищ @Vslav. А именно в том, что нельзя просто опускать в схеме подтягивающие транзисторы на плюс. Наглядным примером может служить этот фрагмент:

Слева схема составленная по списку транзисторов.
А справа реальная схема.


Как видно из рисунков, если слева схема бессмыслена, то справа появляется смысл, если при CLK = 1, открытом T8887 заряд накапливается на затворе Т8886, а при CLK = 0 на стоке T8886 имеем нужное значение.

Отсюда два вопрос:
1. Получается, что Z80 не может работать в статике, т.к. заряд не будет храниться на затворе вечно при CLK = 0.
2. Где, блин, взять список подтягивающих транзисторов, и почему их нет в Z80 Explorer, базу транзисторов которого я брал для составления схемы? И как сам автор Z80 Explorer симулирует работу Z80 по этому списку, если там нет подтягивающих транзисторов?

[Titus]

Ну что же, раз ни у кого нет идей, то придется ползать по слоям кристалла, и собирать все подтягивающие транзисторы. Работа на 100500 лет вперед)

[Reobne]

Работа на 100500 лет вперед

Не на-адо-о-о!
Наверняка есть какой-то выход.
Либо информация где нет подтяжек как-то спрятана.
Либо нет подтяжек на стоке, только если на затворе клок а на истоке не ноль. То есть какие-то правила которые казались "очевидными".

В конце концов, если ничего не помогает, а симуляция чисто случайно прошла все тесты, то надо снова идти по пути получения списка транзисторов и узлов от снимков. Автоматизировано, а не вручную.

[Serg6845]

1. Получается, что Z80 не может работать в статике, т.к. заряд не будет храниться на затворе вечно при CLK = 0.

известный факт, для NMOS версии. подтверждается данными из http://www.bitsavers.org/components/...book_Feb84.pdf, стр.22, TwCl

[Titus]

Не на-адо-о-о!
Наверняка есть какой-то выход.
Либо информация где нет подтяжек как-то спрятана.
Либо нет подтяжек на стоке, только если на затворе клок а на истоке не ноль. То есть какие-то правила которые казались "очевидными".

В конце концов, если ничего не помогает, а симуляция чисто случайно прошла все тесты, то надо снова идти по пути получения списка транзисторов и узлов от снимков. Автоматизировано, а не вручную.

Я пересмотрел все файлы в Z80 Explorer, и не нашел ничего, что хотя бы отдаленно напоминало бы список подтягивающих транзисторов.

Возможно, где-то это хранится, но непонятно где.

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

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

В общем, стал потихоньку дорисовывать подтягивающие транзисторы сам, смотря на рисунок кристалла в Z80 Explorer. В принципе, все видно хорошо, только муторно все это рисовать)

[Advertiser]

[AlexG]

попробую залезьть в Си-шник, но не скоро.

[Titus]

попробую залезьть в Си-шник, но не скоро.

Похоже, я быстрее сам нарисую)

Нарисовал уже подтягивающие транзисторы из обведенного фрагмента кристалла:


На самом деле, это не так сложно. Кроме того, если что-то пропущу, это сразу станет понятно после причесывания, ибо любой отсутствующий подтягивающий транзистор, который вызывает вопросы, тут же легко проверяется по кристаллу.

[Titus]

А ведь Z80 Explorer откуда-то все таки подкачивает PullUp'ы!
Это видно из лога загрузки:

2022-04-23 13:23:06 | I | Loading "Z80Explorer/resource/transdefs.js"
2022-04-23 13:23:06 | I | Loaded 6813 transistor definitions
2022-04-23 13:23:06 | I | Max net index 3592
2022-04-23 13:23:06 | I | Number of nets 3544
2022-04-23 13:23:06 | I | Number of transistors 6813
2022-04-23 13:23:06 | I | Loading "Z80Explorer/resource/segdefs.js"
2022-04-23 13:23:07 | I | Number of pullups 2059
2022-04-23 13:23:07 | I | Completed loading netlist resources

Похоже, они в segdefs.js. Буду разбираться.

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

В общем, все понятно.

Каждая цепь, которая помечена '-' - не имеет подтяжки. А которая помечена '+' - имеет.
Все просто)

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

Все, написал конвертер, и получил номера соединений, на которых висит подтяжка. Получилось ровно 2059. Значит все точно.

Теперь еще 10000 ведер воды (поставить на все 2059 линий подтяжки) и схема будет готова!

Плюс в том, что не надо по фотографии кристалла лазить.

[jerri]

Titus, У меня не хватает цензурных слов чтобы высказать восхищение проводимой работой.