Results Interpretation and Use
You use Simulink® Design Verifier™ to log and review analysis results and generate analysis reports. You can generate test inputs and export them to new test cases in Simulink Test™.
Functions
sldvloadresults | Load Simulink Design Verifier analysis results for model |
sldvhighlight | Highlight model using data from Simulink Design Verifier analysis |
sldvreport | Generate Simulink Design Verifier report |
sldvsimdata | Get simulation data in Dataset format |
sldvruntestopts | Generate simulation or execution options for sldvruntest or sldvruncgvtest |
sldvruntest | Simulate model by using input data |
sldvharnessopts | Default options for sldvmakeharness |
sldvmakeharness | Generate harness model |
sldvmergeharness | Merge test cases and initializations into one harness model |
Topics
Highlighted Results on the Model
Describes highlighting of analysis results on the model.
Simulink Design Verifier Reports
Describes the different parts of a Simulink Design Verifier report.
Simulink Design Verifier Harness Models
Describes a basic harness model.
Simulink Design Verifier Data Files
Describes the contents of a Simulink Design Verifier data file.
Simulink Design Verifier Log Files
Describes the analysis log files.
Specify options that control how Simulink Design Verifier handles the results that it generates.
Specify options that control how Simulink Design Verifier reports its results.
Review analysis results in the Simulink Design Verifier Results Summary window.
Export Test Cases to Simulink Test
Describes how to generate test cases in Simulink Test using Simulink Design Verifier analysis results, which can be generated by property proving, design error detection, and test case generation.
