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