Design Verification with SIMULINK®

Complimentary Services: Post training email support & 1-hr consultation session within 1 month after the course completion!

TechSource Systems Pte Ltd


This one-day course focuses on using Simulink Design Verifier™ to ensure that a design is devoid of possible design errors, is fully tested, and satisfies necessary requirements. Topics include:

  • Detecting and debugging common design errors
  • Collecting model coverage
  • Completing missing coverage using automatic test generation
  • Proving model properties for requirements-based verification
  • Handling model complexity for efficient analysis
TechSource Systems Pte Ltd

Who Should

This hands-on course is designed for engineer who needs to perform formal verification to verify that the model is free from design errors, fully tested and meet requirements.

TechSource Systems Pte Ltd


MATLAB Fundamentals
Simulink Fundamentals

TechSource Systems Pte Ltd


Upon the completion of the course, the participants will be able to:

  • Configure a model for use with Simulink Design Verifier
  • Detect common design errors in a model
  • Automatically generate test cases to produce full model coverage
  • Formally prove a component meets design requirements
  • Configure options to improve performance and results


TechSource Systems Pte Ltd
TechSource Systems Pte Ltd

TechSource Systems is MathWorks Authorised Reseller and Training Partner

Upcoming Program

  • Please keep me posted on the next schedule
  • Please contact me to arrange customized/ in-house training

Course Outline

Understanding the Verification Workflow

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
TechSource Systems Pte Ltd
TechSource Systems Pte Ltd

Detecting Design Errors

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

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

Automatically Generating Tests

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
TechSource Systems Pte Ltd
TechSource Systems Pte Ltd

Property Proving

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

Managing Model Complexity

Objective: dentify 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
TechSource Systems Pte Ltd