Simulink Design Verifier 1.5
Latest Features
Version 1.5
Released: 04 Sep 2009Version 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 2009Version 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 2008Version 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 2008Version 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 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.
Store