Question

$coverage_get(coverage_type, scope_def, modules_or_instance)

This function obtains the current coverage value for the given coverage type over the given portion of the hierarchy. This number can be converted to a coverage percentage by use of the equation:

The return value follows the same pattern as $coverage_get_max (see Section 29.2.2.2), but with pos_num representing the current coverage level, i.e., the number of the coverable items that have been covered in this/these hierarchy(ies).

The scope of this function is specified as per $coverage_control (see Section 29.2.2.1).

The return value is an integer, with the following meanings.

-2 (‘SV_COV_OVERFLOW)
the value exceeds a number that can be represented as an integer.

-1 (‘SV_COV_ERROR)
an error occurred (typically due to using incorrect arguments).

0 (‘SV_COV_NOCOV)
no coverage is available for that coverage type on that/those hierarchy(ies).

+pos_num
the maximum coverage number (where pos_num > 0), which is the sum of all coverable
items of that type over the given hierarchy(ies).