Задайте условие, которое производит определенный ответ
Simulink Design Verifier
Блок Implies позволяет вам задать условие произвести данный ответ; например, когда вы нажимаете педаль тормоза на автомобиле, механизм круиз-контроля становится отключенным. Если вход A верен, и вход B является ложным, выход является ложным; для всех других пар входных параметров выход верен.
Можно использовать блок Implies в любой модели, не как раз в то самое время, когда вы запускаете программное обеспечение Simulink® Design Verifier™.
