Store 
| Products & Services | Solutions | Academia | Support | User Community | Company |
 |
Download Product Updates | | |  |
Get Pricing | | | |
Trial Software |
| Documentation → Simulink Design Verifier |
| Products & Services | Solutions | Academia | Support | User Community | Company |
|
Download Product Updates | | | |
Get Pricing | | | |
Trial Software |
| Documentation → Simulink Design Verifier |
| Contents | Index |
| Learn more about Simulink Design Verifier |
This table summarizes what's new in V1.2 (R2008a):
| New Features and Changes | Version Compatibility Considerations | Fixed Bugs and Known Problems | Related Documentation at Web Site |
|---|---|---|---|
| Yes Details below | No | Bug Reports | Printable Release Notes: PDF |
New features and changes introduced in this version are
This release provides support for the Embedded MATLAB Function block in the Simulink software and Embedded MATLAB functions in the Stateflow® software. For more information, see Support Limitations for the Embedded MATLAB Subset in the Simulink Design Verifier User's Guide.
Previous releases support only the Stateflow Classic truth tables. However, this release introduces support for Embedded MATLAB truth tables in the Stateflow software, which includes support for the Truth Table block. See Truth Table Functions in the Stateflow documentation for more information.
This release introduces new options on the Design Verifier > Results pane of the Configuration Parameters dialog box:
Include expected output values — Simulates the model using the test case signals and includes the output values in the Simulink Design Verifier data file. See Include expected output values for more information.
Randomize data that does not affect outcome — Assigns random values instead of zeros to input signals that have no impact on test or proof objectives. See Randomize data that does not affect outcome for more information.
In this release, the Test suite optimization parameter that appears on the Design Verifier > Test Generation pane of the Configuration Parameters dialog box includes a new setting: Large model. This test generation strategy is tailored to large, complex models that contain nonlinearities and many test objectives. See Test suite optimization for more information.
 | Version 1.3 (R2008b) Simulink Design Verifier Software | Version 1.1 (R2007b) Simulink Design Verifier Software |  |
Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.
| © 1984-2009- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |
