Simulink Design VerifierAbout Property Proofs   Proving Model Properties Example
  

Basic Workflow for Proving Model Properties

www.kxcad.net Home > CAE Software Index > MATLAB Index >


Your Ad Here

Here is the recommended workflow for proving properties of your model:

  1. Ensure that your model is compatible for use with Simulink Design Verifier (for an example, see Checking Compatibility of the Example Model).

  2. Instrument your model with blocks that specify proof objectives and proof assumptions (for examples, see Instrumenting the Example Model and Customizing the Example Proof).

  3. Specify Simulink Design Verifier options that control how it proves the properties of your model (for an example, see Configuring Property Proving Options).

  4. Execute the Simulink Design Verifier analysis and review its results (for examples, see Analyzing the Example Model and Reanalyzing the Example Model).

See Proving Model Properties Example for an exercise that demonstrates this workflow.

  

About Property Proofs About Property Proofs Proving Model Properties ExampleProving Model Properties Example

© 1984-2007 The MathWorks, Inc. • Terms of Use • Patents • Trademarks • Acknowledgments

Your Ad Here