Simulink Design Verifier

All Releases

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.

R2013a (Version 2.4) - 7 Mar 2013

Version 2.4, part of Release 2013a, includes the following enhancements:

  • Detection of out-of-bound array access design errors

See the Release Notes for details.