User`s guide

Types of Model Coverage
15-7
Data Type of Operand Tolerance
Floating point, such as single or double max(absTol, relTol* max(|lhs|,|
rhs|))
• absTol is an absolute tolerance value
you specify. Default is 1e-05.
• relTol is a relative tolerance value you
specify. Default is 0.01.
• lhs is the left operand and rhs the
right operand.
• max(x,y) returns x or y, whichever is
greater.
Fixed point Value corresponding to least significant
bit. For more information, see “Precision”.
To find the precision value, use the lsb
function.
Integer 1
Boolean N/A
Enum N/A
If the two operands have different types, the tolerance follows the rules for the stricter
type. If one of the operands is boolean, the tolerance follows the rules for the other
operand. The strictness decreases in this order:
1
Floating point
2
Fixed point
3
Integer
If both operands are fixed-point but have different precision, the smaller value of
precision is used as tolerance.
For more information on:
• How to specify this coverage metric, see “Coverage Tab”.
• How to specify the tolerance for floating-point numbers, see “Options Tab”.
• How this coverage metric appears in reports, see “Relational Boundary”.