Проверьте, что ответ происходит в желаемой длительности
Simulink Design Verifier
True duration сигнала — Последовательные временные шаги, во время которых сигнал верен
Блок Within Implies получает в значении путем наблюдения, является ли входом Obs true по крайней мере для одного шага в каждой длительности true первого входа In. Каждый раз, когда Obs не обнаруживается в конкретном входе истинная длительность, вывод становится false для одного временного шага на шаге, который следует за длительностью входа true.
Блок Within Implies имеет только один заданный пользователями параметр:
Задайте, может ли наблюдение блока за Obs быть сброшено внешним булевым сигналом сброса.
В следующем примере считайте шаг расчета 1 вторым.
Obs не наблюдается в первой длительности true In, таким образом, Out становится false для одного временного шага. Obs наблюдается во второй длительности true In, таким образом, Out является true. Когда нет никакой длительности true In, Out остается true.
Если Obs происходит многократно, он не влияет на вывод.
