Simulink® Design Verifier⢠1.2
Latest Features
Version 1.2
Released: 01 Mar 2008Version 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 2008Version 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 2007Version 1.1, part of Release 2007b, includes the following enhancements:
- New support for fixed-point data types
See the Release Notes for details.
Store