Implies
Specify condition that produces a certain response
Libraries:
Simulink Design Verifier /
Verification Utilities
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.
Ports
Input
Version History
Introduced in R2009a