MATLAB and Simulink Training

Design Verification with Simulink

View schedule and enroll

Course Details

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

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

Level: Intermediate

Prerequisites:

Duration: 1 day

Languages: English, 中文, 日本語, 한국어

View schedule and enroll

Related Courses

Simulink Model Management and Architecture

Efficiently architect and manage Simulink models. Themes include requirement integration, source control, enforcement of modeling standards, and report generation.

Learn more

Simulation-Based Testing with Simulink

Use Simulink Test to create test harnesses and test cases and manage entire test suites for Simulink models. Analyze simulation results to verify model behavior and collect structural coverage metrics to ensure thorough testing of models.

Learn more

Polyspace for C/C++ Code Verification

Prove code correctness, review and understand verification results, handle missing functions and data, measure software quality metrics, and apply MISRA C rules.

Learn more