Фичи и баги OWEN Logic

[wal79]

Где и что исправлять?Вложение 32725Вложение 32726

Проект в личку или сюда киньте. Посмотрю...

[Эдуард_Н]

Проект в личку или сюда киньте. Посмотрю...

Проект не мой, просто проглядывал и обратил внимание на это.

[wal79]

Проект не мой, просто проглядывал и обратил внимание на это.

Ага, есть... тонкий момент, но важный. Спасибо, внес коррективы в анализ. В следующем релизе.

[Василий Кашуба]

Проект в личку или сюда киньте. Посмотрю...

Этот баг из-за этой связи.
Снимок.PNG

[Эдуард_Н]

Этот баг из-за этой связи.
Снимок.PNG

А ОЛ почему его не выделил?

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

А ОЛ почему его не выделил?

Баг и состоит в том, что "неправильно обнаруживается проблемная связь".

[wal79]

Баг и состоит в том, что "неправильно обнаруживается проблемная связь".

ОЛ ее обнаружил, но подсветил не то, что надо. Лоджик обнаруживает последнюю замыкающую связь. И если она глубоко в макросе, то согласно разработанному алгоритму должен был подсветить последнюю внешнюю связь. Вот тут то и была несогласованность задуманного алгоритма и реализации. Помарка исправлена. В данном случае лоджик последнюю замыкающую внешнюю связь определил "PWM1 - fMUL".

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

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

Вот тут то и была несогласованность задуманного алгоритма и реализации. Помарка исправлена. В данном случае лоджик последнюю замыкающую внешнюю связь определил "PWM1 - fMUL".

По-моему, в конкретном случае "самая сомнительная связь" это "чтение из переменной result --> fLIMIT2" и именно её ОЛ должно подкрашивать / предлагать заменить на задержку.
Объяснение следующее:
"для того, чтобы вычислить результат, который нужно записать в result" нужно выполнить fADD, а для вычисления fADD нужен результат "ЛЗ от чтения current" (тут дальнейший анализ "как вычисляется current" не нужен, т.к. значение приходит с прошлого цикла) и результат "fMUL".
Так мы разворачиваем цепочку и в итоге доходим до "для того, чтобы вычислить fLIMIT2 нужно знать результат чтения current", но ведь current ещё не вычислено, значит цикл, и как раз эту связь и объявляем как "циклообразующую".

Что по-вашему называется "последней" связью?

[wal79]

По-моему, в конкретном случае "самая сомнительная связь" это "чтение из переменной result --> fLIMIT2" и именно её ОЛ должно подкрашивать / предлагать заменить на задержку.
Объяснение следующее:
"для того, чтобы вычислить результат, который нужно записать в result" нужно выполнить fADD, а для вычисления fADD нужен результат "ЛЗ от чтения current" (тут дальнейший анализ "как вычисляется current" не нужен, т.к. значение приходит с прошлого цикла) и результат "fMUL".
Так мы разворачиваем цепочку и в итоге доходим до "для того, чтобы вычислить fLIMIT2 нужно знать результат чтения current", но ведь current ещё не вычислено, значит цикл, и как раз эту связь и объявляем как "циклообразующую".

Что по-вашему называется "последней" связью?

Последняя для лоджика связь в цикле. Та связь, которая является для лоджика повторюсь замыкающей. Насчет какая связь должна быть ЛЗ должен решать сам разработчик программы.