User`s guide

19 Results Review
19-38
• “Relational Boundary Coverage”.
• The Relational Boundary column in “Model Objects That Receive Coverage”.
The tables below show the relational boundary coverage report for the relation input1
<= input2. The appearance of the tables depend on the operand data type.
• “Integers” on page 19-38
• “Fixed point” on page 19-39
• “Floating point” on page 19-39
Integers
If both operands are integers (or if one operand is an integer and the other a Boolean),
the table appears as follows.
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 is equal to -1.
• The third row states the number of times during the simulation that operand_1 is
equal to operand_2.
• The fourth row states the number of times during the simulation that operand_1 -
operand_2 is equal to 1.