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.