Simulink Design Verifier 2.1.1

Latest Features

Version 2.1

Released: 1 Sep 2011
 

Version 2.1, part of Release 2011b, includes the following enhancements:

• Signal range computation and violation detection
• Test generation for additional math functions and lookup table configurations
• Analysis results for trigger and enable ports for Model blocks

See the Release Notes for details.

Update Now

• Download the latest version if your software maintenance service is current.
• Purchase or request a renewal quote if your maintenance service has lapsed.
• Try the latest version by downloading or requesting trial software.

---

Version 2.0

Released: 8 Apr 2011
 

Version 2.0, part of Release 2011a, includes the following enhancements:

• Automatic detection of overflow and divide-by-zero design errors, including proof and counterexample generation
• Test-generation engine for improved performance and handling of nonlinear arithmetic and unsupported model objects
• Display of analysis information on the model using coloring and a context-sensitive information window
• Display of model analysis results in Model Explorer
• Updated block library that includes temporal operators

See the Release Notes for details.

Version 1.7.1

Released: 17 Mar 2011
 

Version 1.7.1, part of Release 2010b Service Pack 1 (R2010bSP1), includes bug fixes.

Version 1.7

Released: 3 Sep 2010
 

Version 1.7, part of Release 2010b, includes the following enhancements:

• Support for 64-bit Windows operating systems
• Support for specified input minimum and maximum values as analysis constraints
• Built-in support for automation of test execution in SIL/PIL mode via Code Generation Verification (CGV) API (requires Embedded Coder™)
• Support for extracting and analyzing Stateflow atomic subcharts
• Ability to eliminate unused signals from the generated harness

See the Release Notes for details.

Version 1.6

Released: 5 Mar 2010
 

Version 1.6, part of Release 2010a, includes the following enhancements:

• New option to generate test cases for model coverage objectives that were not exercised in simulation
• New option to extend existing test cases instead of creating new ones
• New function for logging test cases during simulation
• New demonstration library and models to support specification of temporal properties
• Complete support for the Lookup Table (n-D) and Interpolation Using Prelookup blocks

See the Release Notes for details.

Version 1.5.1

Released: 1 Apr 2010
 

Version 1.5.1, part of Release 2009b Service Pack 1 (R2009bSP1), includes bug fixes.

Version 1.5

Released: 4 Sep 2009
 

Version 1.5, part of Release 2009b, includes the following enhancements:

• New Stateflow and Embedded MATLAB syntax for test and proof objectives, test constraints, and proof assumptions
• Support for enumerated signals and parameters
• Support for integer and fixed-point data types for Lookup Table and Lookup Table (2-D) blocks
• New option to stop simulation on proof violation

See the Release Notes for details.