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

Prerequisites

See detailed course outline