User`s guide

Types of Model Coverage
15-9
Signal Size Coverage
Signal size coverage records the minimum, maximum, and allocated size for all variable-
size signals in a model. Only blocks with variable-size output signals are included in the
report.
If the total number of signals in your model exceeds 65535, or your model contains a
signal whose width exceeds 65535, the software cannot record signal size coverage.
For an example of signal size coverage data in a model coverage report, see “Signal Size
Coverage for Variable-Dimension Signals” on page 19-44.
For more information about variable-size signals, see “Variable-Size Signal Basics”.
Simulink Design Verifier Coverage
The Simulink Verification and Validation software collects model coverage data for the
following Simulink Design Verifier blocks and MATLAB for code generation functions:
Simulink Design Verifier blocks MATLAB for code generation functions
Test Condition sldv.condition
Test Objective sldv.test
Proof Assumption sldv.assume
Proof Objective sldv.prove
If you do not have a Simulink Design Verifier license, you can collect model coverage for
a model that contains these blocks or functions, but you cannot analyze the model using
the Simulink Design Verifier software.
By adding one or more Simulink Design Verifier blocks or functions into your model, you
can:
• Check the results of a Simulink Design Verifier analysis, run generated test cases,
and use the blocks to observe the results.
• Define model requirements using the Test Objective block and verify the results with
model coverage data that the software collected during simulation.
• Analyze the model, create a test harness, and simulate the harness with the Test
Objective block to collect model coverage data.