User`s guide

16 Model Objects That Receive Model Coverage
16-22
more information, see “Saturate on Integer Overflow Coverage”. The software treats each
element of a vector or matrix as a separate coverage measurement.
Product
If you select the Saturate on integer overflow coverage metric, the Product block
receives saturate on integer overflow coverage. For more information, see “Saturate on
Integer Overflow Coverage”. The software treats each element of a vector or matrix as a
separate coverage measurement.
Proof Assumption
The Proof Assumption block receives Simulink Design Verifier coverage. Simulink
Design Verifier coverage is based on the points and intervals defined in the block dialog
box. Simulink Design Verifier coverage measures the number of time steps that each
point or interval defined in the block is satisfied. The total number of objective outcomes
is based on the number of points or intervals defined in the Proof Assumption block.
If all points and intervals defined in the block are satisfied for at least one time step,
Simulink Design Verifier coverage is 100%. Otherwise, the Simulink Verification and
Validation software reports coverage as the number of points and intervals satisfied
during at least one time step, divided by the total number of points and intervals defined
for the block.
Proof Objective
The Proof Objective block receives Simulink Design Verifier coverage. Simulink Design
Verifier coverage is based on the points and intervals defined in the block dialog box.
Simulink Design Verifier coverage measures the number of time steps that each point or
interval defined in the block is satisfied. The total number of objective outcomes is based
on the number of points or intervals defined in the Proof Objective block.
If all points and intervals defined in the block are satisfied for at least one time step,
Simulink Design Verifier coverage is 100%. Otherwise, the Simulink Verification and
Validation software reports coverage as the number of points and intervals satisfied
during at least one time step, divided by the total number of points and intervals defined
for the block.