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

[capzap]

вот приехал домой, тоже решил поиграться(выложил перевод из оскатовской бибки), может быть не первый раз звучит вопрос и ответы были, но раз уж у нас смена состояния любой переменной происходит раз в цикл, то почему линии задержки мешают, как раз с ними все получается же. Не так как в железе, ну так и триггер программный, там своя "физика".

И второй вопрос мучает, из-за чего собственно и раздулась тема на столько страниц, а зачем на d-триггерах делать регистр сдвига, почему не так http://www.owen.ru/forum/showthread....l=1#post234863

[По самые по...]

В реальном железе для создания регистра сдвига соединяют выход Д-триггера с D входом последующего непосредственно, без всяких устройств задержки сигнала, в ОЛ Д-триггер работает не так, как в железе, об этом я и толкую, что вводит в заблуждение большинство людей и я на эти грабли наступал, зачем делать так?

Потому-шта в ОЛ организован статический Д-триггер, а нужон динимический (мастер-слейв).. Почитайте про M-S триггера..
Создавайте в ОЛ M-S Д-триггер на рассыпухе, и будет вам счастье

[pop70]

Потому-шта в ОЛ организован статический Д-триггер, а нужон динимический (мастер-слейв).. Почитайте про M-S триггера..
Создавайте в ОЛ M-S Д-триггер на рассыпухе, и будет вам счастье

Путаете тёплое с мягким. M-S на ОЛ вообще не создать. Там нужны разные уровни переключения с 0 в 1 и обратно. Можно, конечно, через ЛЗ...
Почитайте внимательно по Вашей же ссылке.
Ну и заодно справку по D-триггеру из ОЛ.
Динамический он ДИНАМИЧЕСКИЙ.
Триггеры "на рассыпухе" в ОЛ явно придётся править. Не переносит он обратных связей - задержку влупляет, логика "портрится", тайминги плывут.
Классический RS на И-НЕ элементах тупит по инверсному выходу - зачастую он совпадает с неинверсным.

[wal79]

Поздно увидел обсуждения... Не понял в чем баг конкретно? Просьба последовательно описать на что жалоба?

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

[wal79]

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

[Владимир Ситников]

Поздно увидел обсуждения... Не понял в чем баг конкретно? Просьба последовательно описать на что жалоба?

Раз (подробное описание в сообщении): http://www.owen.ru/forum/showthread....l=1#post254263

Два (константа 1 приходит на вход XOR как 0): http://www.owen.ru/forum/showthread....369#post254369

[wal79]

c CTMAX нужен проект или это возобновляется легко?

Я не обещал что при анализе ЛЗ будет прозрачность. Первая версия реализации алгоритма обнаружение показала, что прозрачности тут не должно быть, иначе будут ложно обнаружены связи. Но согласен, что дополнить алгоритм нужно, для идентификации подобных сценариев.

[Владимир Ситников]

c CTMAX нужен проект или это возобновляется легко?

Не воспроизводится. Нужен проект. Попробуйте спросить в личке у pop70.

Я не обещал что при анализе ЛЗ будет прозрачность. Первая версия реализации алгоритма обнаружение показала, что прозрачности тут не должно быть, иначе будут ложно обнаружены связи. Но согласен, что дополнить алгоритм нужно, для идентификации подобных сценариев.

Не понял. Пример с "линией задержки внутри макроса" в итоге считается багом или фичей?

[pop70]

c CTMAX нужен проект или это возобновляется легко?

Воспроизводится не всегда.
http://www.owen.ru/forum/showthread....l=1#post253863
Файл проекта (макрос). Правда, в нём уже обошёл этот баг через константу 0 и инвертор.
Попробуйте убрать инвертор, константе задать значение 1, и подключить связью к нижнему входу xor, а лз к верхнему.
У меня тогда этот баг воспроизводится. При смене выводов xor (к верхнему напрямую, к нижнему через лз), баг пропадает.
Сегодня приложу файлик в "забагованном" виде.
Проверить бы ещё это баг только в симуляторе, или на железке тоже повторится.
Файл с багом во вложении

[pop70]

И ещё вопрос.
Универсальный счётчик из стандартных макросов ОЛ ограничен 16 битами. Это баг или фича? И в чём смысл этой фичи?