User`s guide

Top-Level Model Coverage Report
19-19
Note: For a detailed example of coverage reports for external MATLAB files, see
“External MATLAB File Coverage Report” on page 19-5.
To record Simulink Design Verifier coverage for sldv.* functions called by MATLAB
functions, and any Simulink Design Verifier blocks, in the Coverage Settings dialog box,
on the Coverage tab, select Simulink Design Verifier.
The following example shows coverage details for a MATLAB function,
hFcnsInExternalEML, that calls four Simulink Design Verifier functions. In this
example, the code for hFcnsInExternalEML resides in an external file.
This example also shows Simulink Design Verifier coverage details for the following
functions:
• sldv.assume
• sldv.condition
• sldv.prove
• sldv.test
In the coverage results, code that achieves 100% coverage is green. Code that achieves
less than 100% coverage is red.