Main Content

Implies

Specify condition that produces a certain response

expand all in page
  • Implies block

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

expand all

The Implies block accepts signals of all numeric data types supported by the Simulink software. For a discussion on the data types supported by the Simulink software, see Data Types Supported by Simulink.

Data Types: single | double | int8 | int16 | int32 | int64 | uint8 | uint16 | uint32 | uint64 | Boolean | fixed point | enumerated | bus

Version History

Introduced in R2009a

See Also

|