Main Content

Requirements-Based Verification

Verify design against requirements, specify analysis input constraints

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.