Find Potential Design Errors Using Model-Based Testing

Test your design using Model Coverage in Simulink Coverage™ and formal methods for test generation in Simulink Design Verifier™. Using a model-based testing approach, detect incorrect or over-specified requirements early in software development.

Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Simulink Requirements in R2017b.