Accelerating the pace of engineering and science

Simulink Design Verifier

Model Slicer for Stateflow

Model Slicer for Stateflow

Highlight active states and transitions for specified simulation time window

Model Slicer

Model Slicer

Highlight unexpected behavior in test harnesses created by Simulink Test

Variant Reducer

Variant Reducer

Create sliced models based on active variant configurations

MCDC Test Generation

MCDC Test Generation

Generate tests from MCDC coverage for cascaded Simulink logic block networks​​

Incremental Test Generation

Incremental Test Generation

Generate tests to increase coverage for model objects in a test harness

Test Generation

Test Generation

Automatically generate tests for C/C++ S-Functions

Learn more

Dead Logic Detection

Dead Logic Detection

Precisely detect dead logic without rational approximation

Overflow Detection

Overflow Detection

Automatically find overflow errors for fixed-point types with nonstandard word length

Simulink Functions

Simulink Functions

Perform verification of models that contain Simulink Functions

Report Generation

Report Generation

Generate analysis reports in PDF format

Latest Releases

R2016b (Version 3.2) - 14 Sep 2016

Version 3.2, part of Release 2016b, includes the following enhancements:

  • Model Slicer for Stateflow: Highlight active states and transitions for specified simulation time window
  • Model Slicer: Highlight unexpected behavior in test harnesses created by Simulink Test
  • MCDC Test Generation: Generate tests from MCDC coverage for cascaded Simulink logic block networks​​
  • Incremental Test Generation: Generate tests to increase coverage for model objects in a test harness
  • Dead Logic Detection: Precisely detect dead logic without rational approximations​​

See the Release Notes for details.

R2016a (Version 3.1) - 3 Mar 2016

Version 3.1, part of Release 2016a, includes the following enhancements:

  • Test Generation: Automatically generate tests for C/C++ S-Functions
  • Variant Reducer: Create sliced models based on active variant configurations
  • Overflow Detection: Automatically find overflow errors for fixed-point types with nonstandard word length
  • Simulink Functions: Perform verification of models that contain Simulink Functions
  • Report Generation: Generate analysis reports in PDF format

See the Release Notes for details.

R2015aSP1 (Version 2.8.1) - 14 Oct 2015

Version 2.8.1 , part of Release 2015aSP1, includes bug fixes.

See the Release Notes for details.

R2015b (Version 3.0) - 3 Sep 2015

Version 3.0, part of Release 2015b, includes the following enhancements:

  • Analysis of C S-functions
  • Model Slicer API
  • Analyze minimum and maximum ranges specified for bus elements
  • Model Advisor checks for design error detection
  • Test Generation Advisor improvements
  • Generate test inputs and export them to test cases in Simulink Test

See the Release Notes for details.

R2015a (Version 2.8) - 5 Mar 2015

Version 2.8, part of Release 2015a, includes the following enhancements:

  • Isolate important model content and reduce model complexity based on design interests with Model Slicer
  • Load results from previous Test Generation Advisor analysis

See the Release Notes for details.

R2014b (Version 2.7) - 2 Oct 2014

Version 2.7, part of Release 2014b, includes the following enhancements:

  • Test generation for relational boundary values
  • Fast dead logic detection and Model Advisor check
  • Analysis for arrays of buses, For Each block, and For Each Subsystem block
  • Test Generation Advisor to guide component analysis
  • Improved test generation performance for lookup tables and timers

See the Release Notes for details.