Design requirements define undesired behaviors in a model. Simulink® Design Verifier™ uses property proving to verify that properties associated with model requirements hold under all possible input values or provides counterexamples where requirements fail. You use Simulink Design Verifier to model design requirements as properties and then Prove Properties in a Model.
- Requirements Modeling
Model and verify design requirements using property proving
- Input Range Constraints
Specify minimum and maximum input values to mimic environmental constraints