Simulink Design Verifier 1.5

Latest Features

Version 1.5

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

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 1.4

Released: 06 Mar 2009
 

Version 1.4, part of Release 2009a, includes the following enhancements:

• Support for Model blocks that reference other models
• Automatic stubbing, enabling partial analysis for models that include unsupported operations, such as S-functions and C math operations
• Support for models containing the Combinatorial Logic, Integer Delay, Prelookup, and Relay blocks
• Support for models that call external Embedded MATLAB functions
• Optimization of long test cases by combining test objectives into fewer test vectors and more time steps
• Improved examples and demonstrations for property proving

See the Release Notes for details.

Version 1.3

Released: 09 Oct 2008
 

Version 1.3, part of Release 2008b, includes the following enhancements:

• Support for Simulink bus signals and bus objects
• New option to generate test harness model that uses model reference
• New option to create a TEST-file for running generated test cases inside SystemTest™
• Support for fixed-point data in Simulink® Design Verifier™ blocks
• New HTML report layout and enhanced performance
• Enhanced search algorithms for the property-proving strategy and the combined objectives test suite optimization

See the Release Notes for details.

Version 1.2.1

Released: 30 Oct 2008
 

Version 1.2.1, part of the Simulink product family update for Release 2008a, resolves several key customer-reported issues.

Read about the latest bug fixes for:

• Fixed-Point Toolbox 2.2.1
• Real-Time Workshop 7.1.1
• Real-Time Workshop Embedded Coder 5.1.1
• Simulink 7.1.1
• Simulink Design Verifier 1.2.1
• Simulink Fixed Point 5.6.1
• Simulink Report Generator 3.3.1
• Simulink Verification and Validation 2.3.1
• Stateflow 7.1.1
• Stateflow Coder 7.1.1

Version 1.2

Released: 01 Mar 2008
 

Version 1.2, part of Release 2008a, includes the following enhancements:

• New support for the Embedded MATLAB Function block in Simulink and Stateflow Embedded MATLAB functions
• New support for the Stateflow Truth Table block and Embedded MATLAB truth tables
• New option for collecting test case simulation outputs in MAT-file
• New test generation strategy that is optimized for large models
• Improved input data values for detecting errors

See the Release Notes for details.