Simulink Design Verifier

Latest Releases

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.

R2014a (Version 2.6) - 6 Mar 2014

Version 2.6, part of Release 2014a, includes the following enhancements:

  • Parameter Configuration Table for constraint specification and management
  • Compatibility check integrated with Model Advisor
  • Condition coverage test generation for Relational Operator blocks
  • For Each Subsystem block analysis
  • Parameter handling for Simulink data dictionary
  • Japanese language localization support

See the Release Notes for details.

R2013b (Version 2.5) - 5 Sep 2013

Version 2.5, part of Release 2013b, includes the following enhancements:

  • Highlighting of partial results in model during analysis for visualizing progress
  • Summarizing and highlighting of prior analysis results
  • Performance improvements for test generation with input constraints
  • Analysis time information for objectives in results window, report, and data file
  • Mac i64 support

See the Release Notes for details.