Design Verification with Simulink

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

See detailed course outline

Prerequisites

MATLAB Fundamentals and Simulink Fundamentals

Day 1 of 1
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
Detecting Design Errors	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
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
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: 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

Guaranteed to Run

When you register for one of these courses, you can rely on the fact that it won't be canceled or rescheduled for any reason.

Course Schedule

Results 1 - 10 of 10

Dates	Location	Language	Price
10 Jun 2022	Virtual 9:00 am - 5:00 pm China Standard Time	Chinese	USD 750
19 Jul 2022	Virtual 9:00 am - 5:00 pm US Pacific Daylight Time	English	USD 750
21 Jul 2022	Virtual 9:00 am - 5:00 pm Central European Summer Time	English	USD 750
03 Aug 2022	Virtual 9:00 am - 5:00 pm China Standard Time	Chinese	USD 750
05 Aug 2022	Virtual 9:00 am - 5:00 pm Japan Standard Time	Japanese	USD 750
12 Oct 2022	Virtual 9:00 am - 5:00 pm US Eastern Daylight Time	English	USD 750
21 Oct 2022	Virtual 9:00 am - 5:00 pm Korea Standard Time	Korean	USD 750
16 Nov 2022	Virtual 9:00 am - 5:00 pm China Standard Time	Chinese	USD 750
18 Nov 2022	Virtual 9:00 am - 5:00 pm Japan Standard Time	Japanese	USD 750
09 Dec 2022	Virtual 9:00 am - 5:00 pm Indian Standard Time	English	USD 750

Results 1 - 10 of 10

The pricing applies for purchase and use in United States. For pricing in other regions Contact Sales. The product price does not include sales, use, excise, value-added, or other taxes. Any applicable taxes, duties, levies, assessments and governmental charges payable in connection with this purchase will be assessed on the order. Refer to Training Policies for more information