User`s guide

Model Objects That Receive Coverage
16-9
table values. Because this block always has at least one value in the truth table as
output, the minimum coverage reported is one divided by the total number of truth table
values.
If all block inputs are false for at least one time step and true for at least one time step,
condition coverage is 100%. Otherwise, the software reports the coverage as achieving
a false value at each input for at least one time step, plus achieving a true value for at
least one time step, divided by two raised to the power of the total number of inputs (i.e.,
2^number_of_inputs). The minimum coverage reported is the total number of inputs
divided by two raised to the power of the total number of inputs.
Compare to Constant
The Compare to Constant block receives condition coverage.
Condition coverage measures:
• the number of times that the comparison between the input and the specified constant
was true.
• the number of times that the comparison between the input and the specified constant
was false.
The Compare to Constant block contains a comparison of the input with a constant.
Therefore, if you select the Relational Boundary coverage metric, the Compare
to Constant block receives relational boundary coverage. For more information, see
“Relational Boundary Coverage”.
Compare to Zero
The Compare to Zero block receives condition coverage.
Condition coverage measures:
• the number of times that the comparison between the input and zero was true.
• the number of times that the comparison between the input and zero was false.
The Compare to Zero block contains a comparison of the input with zero. Therefore,
if you select the Relational Boundary coverage metric, the Compare to Zero block
receives relational boundary coverage. For more information, see “Relational Boundary
Coverage”.