| Simulink® Design Verifier™ | |
status = sldvrun(model)
status = sldvrun(block)
status = sldvrun(model, options)
[status, filenames] = sldvrun(model, options)
[status, filenames] = sldvrun(model, options, showUI,
startCov)
status = sldvrun(model) runs a Simulink Design Verifier analysis on the specified model. The Simulink Design Verifier software uses the configuration settings associated with model (if available); otherwise, the software uses its default configuration settings. Upon completion, sldvrun returns one of the following values for status:
-1 — Maximum processing time was exceeded.
0 — An error occurred.
1 — Preprocessing completed normally.
Note If you call this function without specifying a model, the function operates on the current system. |
status = sldvrun(block) converts the Simulink block into a new model, and then runs a Simulink Design Verifier analysis on the new model. The Simulink Design Verifier software uses the configuration settings associated with the parent model of block (if available); otherwise, the software uses its default configuration settings.
status = sldvrun(model, options) runs a Simulink Design Verifier analysis on the model specified by model. The Simulink Design Verifier software uses the sldvoptions object specified by options.
[status, filenames] = sldvrun(model, options) runs a Simulink Design Verifier analysis on the model specified by model. This function returns status and filenames, a structure whose fields list the names of the files that the Simulink Design Verifier software generates:
DataFile — MAT-file that contains raw input data
HarnessModel — Simulink harness model
SystemTestFile — SystemTest TEST-file
Report — HTML report that documents the results
ExtractedModel — Simulink model extracted from subsystem
BlockReplacementModel — Simulink model obtained after block replacements
[status, filenames] = sldvrun(model, options, showUI, startCov) opens the log window during analysis if you set showUI to true. If you set showUI to false (the default), it directs output to the MATLAB command line. The analysis ignores all model coverage objects that are satisfied in the cvdata object specified by startCov.
sldvcompat, sldvgencov, sldvoptions
| sldvoptions | sldvruntest | |
| © 1984-2008- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |