Критическая ошибка в среде программирования Овен ЛОДЖИК или это я д-ак

[melky]

capzap, в железе будет так, есть t фронта, если на момент перехода D=0 то и выход будет равен 0. и так далее.
Никакого опоздавшего железо не ждет, никогда...

http://digitalchip.ru/d-trigger - это железячный + его элементная схема - повторите на ПР или ПЛК...

[pop70]

1) Берём выход
2) Смотрим что к нему подключено
3) Если подключен ФБ / функция, то пытаемся вычислить этот самый ФБ/функцию. Что для этого нужно? Нужно знать значения входов.
4) Пытаемся вычислить значение каждого входа:
4.1) Если на вход подключена линия задержки, то просто берём её значение
4.2) Если вход подключена простая связь, то пытаемся вычислить значение того, откуда эта связь выходит (точно так же как на шаге 3)
5) Потом обновляем значения в линиях задержки (не хочу заострять внимание на том как именно)

Если же на этапе 4.2 наступает цикл, то говорим "ай-яй-яй, взрываем ПР и заканчиваем работу".

Сейчас это реализовано по-другому.
Видимо, при наступлении "цикла", входу просто назначается статическая переменная, инициализируется нулём (при компиляции), и вычисляется тот самый выход, исходя из значения этой переменной. Значение выхода пишется в переменную "зацикленного" входа.
Т.е., "автоматом" встаёт ЛЗ.

[pop70]

да как в javascript: foo && bar, если первое false то второе уже не проверяется

Да вот нифига. У xor-a в любом случае нужно оба входа считать.
Это же, всёже, or, а не and.
Да и в нерабочем варианте видно, что 1 на вход xor-a не пришла по "железной связи".
Тут какой-то другой косяк.
И ведь в другом макросе работает и с нижним входом.

[capzap]

Да вот нифига. У xor-a в любом случае нужно оба входа считать.
Это же, всёже, or, а не and.
Да и в нерабочем варианте видно, что 1 на вход xor-a не пришла по "железной связи".
Тут какой-то другой косяк.
И ведь в другом макросе работает и с нижним входом.

я про то что применяется некоторая последовательность,слева на право, сверху вниз

[capzap]

capzap, в железе будет так, есть t фронта, если на момент перехода D=0 то и выход будет равен 0. и так далее.
Никакого опоздавшего железо не ждет, никогда...

http://digitalchip.ru/d-trigger - это железячный + его элементная схема - повторите на ПР или ПЛК...

да уже сказали что картинка не правильная

PS раз уж картинки лажевые бывают, можно и на осциллограф посмотреть https://www.google.ru/url?sa=t&rct=j...u2TKWAWYhIg-8A и главное ангицкий не нужен и так подсказки дают

[pop70]

я про то что применяется некоторая последовательность,слева на право, сверху вниз

Нет. Тут какая-то проблема с моментом инициализации константы, скорее всего. Похоже, она в том примере, почему-то, инициализируется позже нижнего входа xor-а, но до ЛЗ. Не понятно почему в других случаях такого нет. Как-то видимо связано с построением дерева вычислений и с остальной схемой. Хотя, константы, по идее, должны инициализироваться в первую очередь - раньше всего остального.
Интересно. Оно и в ПР так же будет, или это симулятор только дурит?

[capzap]

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

[pop70]

Вопрос хороший и он тесно пересекается с вопросом "а как вообще должны вычисляться значения выходов".
Как вам такой вариант?
1) Берём выход
2) Смотрим что к нему подключено
3) Если подключен ФБ / функция, то пытаемся вычислить этот самый ФБ/функцию. Что для этого нужно? Нужно знать значения входов.
4) Пытаемся вычислить значение каждого входа:
4.1) Если на вход подключена линия задержки, то просто берём её значение
4.2) Если вход подключена простая связь, то пытаемся вычислить значение того, откуда эта связь выходит (точно так же как на шаге 3)
5) Потом обновляем значения в линиях задержки (не хочу заострять внимание на том как именно)

А вообще, разбор схемы и составление последовательности операций, примерно так и идёт.

Т.е, на этапе "компиляции", создаётся "дерево" с корнем на выходе, выстраиваются ветви к узлам ФБ пока не доберёмся до входов или до констант. Циклы "обрубаются" статическими переменными.
Если макросы будут с "необязательными" входами, то от этих входов придётся ростить новые деревья, иначе, на них никогда ничего не придёт. А как от них считать "расстояние", задающее порядок расчёта (дальше от корня раньше считается, а они от главного корня отрублены)?
Вобщем, хз. Наверное, можно, но не просто.

[pop70]

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

А их не надо искать. И текущее состояние, впринципе не надо хранить. Вычислили, записали в стат.переменную (ЛЗ), отдали по этапу, и забыли.

[melky]

сделал сейчас D-Trigger в Logo, в общем та же песня, сам по себе работает правильно, 3 последовательно ведут себя так же, пока не добавишь задержки между ними.