Quantcast

Simulink Design Verifier

New Features

R2014a (Version 2.6)

Released: 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.

Update Now

Previous Releases

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.

R2012b (Version 2.3) - 11 Sep 2012

Version 2.3, part of Release 2012b, includes bug fixes.

See the Release Notes for details.

R2012a (Version 2.2) - 1 Mar 2012

Version 2.2, part of Release 2012a, includes the following enhancements:

  • Dead logic analysis added to design error detection
  • Model coverage filtering applied for test generation analysis
  • Improved property-proving performance for lookup tables

See the Release Notes for details.