Objective: Become familiar with the verification workflow and learn to prepare a model and perform a simple analysis with Simulink Design Verifier.

• Introducing formal verification methods
• Exploring the Simulink Design Verifier workflow
• Preparing models and ensuring compatibility
• Configuring analysis options
• Generating results

Objective: Learn how to use design error detection to verify a model.

• Introducing types of design errors
• Detecting design errors
• Interpreting results and reporting
• Fixing design errors
• Using parameter tables

Objective: Review coverage types and learn how to use automatic test generation to complete missing model coverage.

• Understanding types of coverage
• Measuring model coverage
• Increasing coverage with automatic test generation
• Interpreting results and reporting
• Applying custom conditions and objectives

Objective: Formalize requirements into properties and learn to use property proving to verify that a design meets its requirements.

• Formalizing requirements
• Proving properties
• Debugging falsified properties
• Using temporal operators

Objective: Identify sources of model complexity and learn techniques to improve analysis performance.

• Identifying sources of model complexity
• Implementing block replacements
• Handling nonlinearities
• Managing lookup table complexity
• Working with counters and timers