Main Content

Input Range Constraints

Specify minimum and maximum input values to mimic environmental constraints

Topics

Specify Input Ranges

Specify Input Ranges on Simulink and Stateflow Elements

Describes how the analysis handles minimum and maximum values on Simulink® and Stateflow® elements.

Minimum and Maximum Input Constraints

An overview of how the Simulink Design Verifier™ analysis considers specified input minimum and maximum values.

Specification of Input Ranges in sldvData Fields

Describes the sldvData fields for minimum and maximum input values.

Featured Examples

Using Specified Input Minimum and Maximum Values as Constraints

Using Specified Input Minimum and Maximum Values as Constraints

Use input port minimum and maximum values as analysis constraints by Simulink Design Verifier during both test generation and property proving.

Open Example

Simulink Design Verifier Documentation

Support

Automating Verification and Validation with Simulink

Automating Verification and Validation with Simulink

Get resources