User guide

24-218
SystemVerilog Testbench Constructs
Coverage point data will have 20 bins, the first named some_name_1
and the last named some_name_20.
Bin Value/ Range Resolution
The values corresponding to the range specified by a bin for a
coverpoint are resolved according to the precision and sign-ness of
the corresponding coverpoint expression.
To evaluate a bin hit and update the hit count the coverpoint and bin
expressions are compared and evaluated.
A warning is generated in the following cases.
• If the coverpoint expression is unsigned and bin expressions is
signed and is a negative value.
• If the assignment equivalence of the coverpoint and bin
expression does not match.
• If the bin expression evaluates to a value that contains X or Z bits.
The following rules shall apply when a warning is issued for a bin
element:
- If there is a single element described in the bin range which is
outside the scope of the evaluated coverpoint expression then
the element is not considered for the bin expression.
- If the elements that describe the bin range, contains x or z bits
then every value in the range would generate a warning and
the elements are not considered for the bin expression.
- If the elements that describe the bin range are outside the
scope of the evaluated coverpoint expression then the bin
range is accordingly adjusted to the min and max values
corresponding to the evaluated coverpoint values.