User`s guide

19 Results Review
19-40
For a relational operation such as operand_1 <= operand_2:
• The first row states the two operands in the form operand_1 - operand_2.
• The second row states the number of times during the simulation that operand_1 -
operand_2 has values in the range [-tol..0].
• The third row states the number of times during the simulation that operand_1 -
operand_2 has values in the range (0..tol] during the simulation.
The appearance of this table changes according to the relational operator in the block.
Depending on the relational operator, the value of operand_1 - operand_2 equal to 0
is either:
• Excluded from relational boundary coverage.
• Included in the region above the relational boundary.
• Included in the region below the relational boundary.
Relational Operator Report Format Explanation
[-tol..0)==
(0..tol]
0 is excluded.
[-tol..0)!=
(0..tol]
0 is excluded.
[-tol..0]<=
(0..tol]
0 is included in the region
below the relational
boundary.