Simulink® Design Verifier™ 1.2

Latest Features

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.

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.1.1

Released: 03 Jun 2008
 

Version 1.1.1, part of the Simulink product family update for Release 2007b, resolves several key customer-reported issues.

Read about the latest bug fixes for:

• Fixed-Point Toolbox 2.1.1
• Real-Time Workshop 7.0.1
• Real-Time Workshop Embedded Coder 5.0.1
• Simscape 2.0.1
• Simulink 7.0.1
• Simulink Design Verifier 1.1.1
• Simulink Fixed Point 5.5.1
• Stateflow 7.0.1
• Stateflow Coder 7.0.1
• Simulink Verification and Validation 2.2.1 (represented in Simulink 7.0.1 reports)

Version 1.1

Released: 01 Sep 2007
 

Version 1.1, part of Release 2007b, includes the following enhancements:

• New support for fixed-point data types

See the Release Notes for details.