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 for System and Algorithm Modeling

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 - 6 of 6

Dates	Location	Language	Price
24 Aug 2021	Online 9:00 am - 5:00 pm US Pacific Daylight Time	English	USD 750
31 Aug 2021	Online 9:00 am - 5:00 pm Japan Standard Time	Japanese	USD 750
27 Sep 2021	Online 9:00 am - 5:00 pm China Standard Time	Chinese	USD 750
30 Sep 2021	Online 9:00 am - 5:00 pm Central European Summer Time Register today - only 3 seat(s) remaining	English	USD 750
04 Nov 2021	Online 9:00 am - 5:00 pm US Eastern Daylight Time	English	USD 750
09 Dec 2021	Online 9:00 am - 5:00 pm Japan Standard Time	Japanese	USD 750

Results 1 - 6 of 6

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