Customise Your Training
TechSource Systems is MathWorks Authorised Reseller and Training Partner
Design Verification with Simulink
Next level after the fundamental
Design Verification with SIMULINK®
Complimentary Services: Post training email support & 1-hr consultation session within 1 month after the course completion!
Course
Highlights
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
Who Should
Attend
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.
Course
Prerequisites
MATLAB Fundamentals
Simulink Fundamentals
Course
Benefits
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
Partners
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
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
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
