User`s guide

Model Coverage for Multiple Instances of a Referenced Model
18-13
Note the following about the coverage for the Range Check subsystem in this
example:
• The Saturate Count block executed 100 times. This block has four Boolean
decisions. Decision coverage was 50%, because two of the four decisions were
never recorded:
• The decision input > lower limit was never false.
• The decision input >= upper limit was never true.