User's Guide

Getting Started	Introduces you to the Simulink Design Verifier software.
How the Simulink Design Verifier Software Works	Explains how the Simulink Design Verifier software analyzes the simulation behavior of a model
Ensuring Compatibility with the Simulink Design Verifier Software	Checking whether your model is compatible for use with the Simulink Design Verifier software.
Working with Block Replacements	Explains how to define rules that replace blocks in your model.
Specifying Parameter Configurations	Explains how to treat parameter values as variables during Simulink Design Verifier analyses.
Configuring Simulink Design Verifier Options	Describes how to configure the Simulink Design Verifier options.
Generating Test Cases	Describes how to use the Simulink Design Verifier software to generate test cases automatically.
Proving Properties of a Model	Describes how to use the Simulink Design Verifier software to prove properties of your model.
Reviewing the Results	Describes the test harness, report, and data file that the Simulink Design Verifier software produces.
Analyzing Large Models and Improving Performance	Techniques for improving performance when analyzing large, complex models with the Simulink Design Verifier software

Examples

How the Simulink Design Verifier Software Works

Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.