User`s guide

Model Objects That Receive Coverage
16-27
“Saturate on Integer Overflow Coverage”. The software treats each element of a vector or
matrix as a separate coverage measurement.
Simulink Design Verifier Functions in MATLAB Function Blocks
The following functions in MATLAB Function blocks receive Simulink Design Verifier
coverage:
• sldv.condition
• sldv.test
• sldv.assume
• sldv.prove
Each of these functions evaluates an expression expr, for example, sldv.test(expr),
where expr is any valid Boolean MATLAB expression. Simulink Design Verifier
coverage measures the number of time steps that the expression expr evaluates to true.
If expr is true for at least one time step, Simulink Design Verifier coverage for that
function is 100%. Otherwise, the Simulink Verification and Validation software reports
coverage for that function as 0%.
Sqrt, Signed Sqrt, Reciprocal Sqrt
If you select the Saturate on integer overflow coverage metric, the Sqrt, Signed
Sqrt, and Reciprocal Sqrt blocks receive 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.
Sum, Add, Subtract, Sum of Elements
If you select the Saturate on integer overflow coverage metric, the Sum, Add,
Subtract, and Sum of Elements blocks receive 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.
Switch
The Switch block receives decision coverage based on the control input to the block.
Decision coverage measures: