TechSource Systems is MathWorks Authorised Reseller and Training Partner
Complimentary Services: Post training email support & 1-hr consultation session within 1 month after the course completion!
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:
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.
Upon the completion of the course, the participants will be able to:
Objective: Become familiar with the verification workflow and learn to prepare a model and perform a simple analysis with Simulink Design Verifier.
Objective: Learn how to use design error detection to verify a model.
Objective: Review coverage types and learn how to use automatic test generation to complete missing model coverage.
Objective: Formalize requirements into properties and learn to use property proving to verify that a design meets its requirements.
Objective: dentify sources of model complexity and learn techniques to improve analysis performance.