User`s guide

15 Model Coverage Definition
15-10
• Analyze the model and use the Proof Assumption block to verify any counterexamples
that the Simulink Design Verifier identifies.
If you specify to collect Simulink Design Verifier coverage:
• The software collects coverage for the Simulink Design Verifier blocks and functions.
• The software checks the data type of the signal that links to each Simulink Design
Verifier block. If the signal data type is fixed point, the block parameter must also be
fixed point. If the signal data type is not fixed point, the software tries to convert the
block parameter data type. If the software cannot convert the block parameter data
type, the software reports an error and you must explicitly assign the block parameter
data type to match the signal.
• If your model contains a Verification Subsystem block, the software only records
coverage for Simulink Design Verifier blocks in the Verification Subsystem block; it
does not record coverage for any other blocks in the Verification Subsystem.
If you do not specify to collect Simulink Design Verifier coverage, the software does not
check the data types for any Simulink Design Verifier blocks and functions in your model
and does not collect coverage.
For an example of coverage data for Simulink Design Verifier blocks or functions in a
model coverage report, see “Simulink Design Verifier Coverage” on page 19-45.