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, seeDesign Considerations. To run analyses iteratively as you update your model, see theBasic Workflow for Simulink Design Verifier. If you already have an existing design in Simulink^®, seeComponent Selectionto configure portions of your design forSimulink Design Verifier™analysis.