User`s guide

16 Model Objects That Receive Model Coverage
16-8
• The number of time steps that the block input is less than zero, indicating a true
decision.
• The number of time steps the block input is not less than zero, indicating a false
decision.
If you select the Saturate on integer overflow coverage metric, the Abs block receives
saturate on integer overflow coverage. For more information, see “Saturate on Integer
Overflow Coverage”.
If the input data type to the Abs block is uint8, uint16, or uint32, the Simulink
Verification and Validation software reports no coverage for the block. The software sets
the block output equal to the block input without making a decision. If the input data
type to the Abs block is Boolean, an error occurs.
The Abs block contains an implicit comparison of the input with zero. Therefore, if you
select the Relational Boundary coverage metric, the Abs block receives relational
boundary coverage. For more information, see “Relational Boundary Coverage”.
Bias
If you select the Saturate on integer overflow coverage metric, the Bias block receives
saturate on integer overflow coverage. For more information, see “Saturate on Integer
Overflow Coverage”.
Combinatorial Logic
The Combinatorial Logic block receives decision and condition coverage. Decision
coverage is based on achieving each output row of the truth table. The decision coverage
measures the number of time steps that each output row of the truth table is set to the
block output.
The condition coverage measures the number of time steps that each input is false
(equal to zero) and the number of times each input is true (not equal to zero). If the
Combinatorial Logic block has a single input element, the Simulink Verification and
Validation software reports only decision coverage, because decision and condition
coverage are equivalent.
If all truth table values are set to the block output for at least one time step, decision
coverage is 100%. Otherwise, the software reports the coverage as the number of truth
table values output during at least one time step, divided by the total number of truth