Implies - Specify conditions that produce certain responses
Library
Simulink Design Verifier
Description
The Implies block lets you specify a condition to produce a
given response, for example, when you press the brake pedal on a car,
the cruise control mechanism becomes disabled. If input A is true
and input B is false, the output is false; for all other pairs of
inputs, the output is true.
You can use the Implies block in any model, not just when you
run the Simulink Design Verifier software.
Parameters and Dialog Box
 | Block Reference | | Proof Assumption |  |
Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.
Get this Simulink Kit
Store 
