| Simulink Design Verifier | |
www.kxcad.net Home > CAE Software Index > MATLAB Index >
| On this page… |
|---|
Specify options that control how Simulink Design Verifier proves properties for the models it analyzes.
Specify whether Assertion blocks in your model are enabled or disabled.
Default: Use local settings
Enables or disables Assertion blocks based on the value of the Enable parameter of each block. If a block's Enable parameter is selected, the block is enabled; otherwise, the block is disabled.
Enables all Assertion blocks in the model regardless of the settings of their Enable parameters.
Disables all Assertion blocks in the model regardless of the settings of their Enable parameters.
| Parameter: DVAssertions |
| Type: string |
| Value: 'UseLocalSettings' | 'EnableAll' | 'DisableAll' |
| Default: 'UseLocalSettings' |
Specify whether Proof Assumption blocks in your model are enabled or disabled.
Default: Use local settings
Enables or disables Proof Assumption blocks based on the value of the Enable parameter of each block. If a block's Enable parameter is selected, the block is enabled; otherwise, the block is disabled.
Enables all Proof Assumption blocks in the model regardless of the settings of their Enable parameters.
Disables all Proof Assumption blocks in the model regardless of the settings of their Enable parameters.
| Parameter: DVProofAssumptions |
| Type: string |
| Value: 'UseLocalSettings' | 'EnableAll' | 'DisableAll' |
| Default: 'UseLocalSettings' |
Specify the strategy Simulink Design Verifier uses when proving properties.
Default: Prove
Performs property proofs.
Searches for property violations within the number of simulation steps specified by the Maximum violation steps option.
Searches for property violations within the number of simulation steps specified by the Maximum violation steps option; then it attempts to prove properties for which it failed to detect a violation.
Selecting Find violation or Prove with violation detection enables the Maximum violation steps parameter.
| Parameter: DVProvingStrategy |
| Type: string |
| Value: 'Prove' | 'FindViolation' | 'ProveWithViolationDetection' |
| Default: 'Prove' |
Specify the maximum number of simulation steps over which Simulink Design Verifier searches for property violations.
Default: 20
Simulink Design Verifier does not search beyond the maximum number of simulation steps that you specify. Therefore, it cannot identify violations that might occur later in a simulation.
This parameter is enabled by Strategy.
| Parameter: DVMaxViolationSteps |
| Type: int32 |
| Value: any valid value |
| Default: 20 |
| | Design Verifier Pane: Test Generation | Design Verifier Pane: Results | |
© 1984-2007 The MathWorks, Inc. • Terms of Use • Patents • Trademarks • Acknowledgments