Systematic Model Verification
Systematic Model Verification is a process of verifying your models based on objective criteria, such as complete model coverage, and verification of all functional requirements.
To help guide your design process as you build your model, see Design Considerations. To run analyses iteratively as you update your model, see the Basic Workflow for Simulink Design Verifier. If you already have an existing design in Simulink®, see Component Selection to configure portions of your design for Simulink Design Verifier™ analysis.