User guide

24-224
SystemVerilog Testbench Constructs
In covergroup cg1 there are two coverpoints labeled bit1 and bit2. In
addition, there is the following:
1. the bit1Xbit2 identifier for the cross.
2. The cross keyword, specifying the coverpoints to be crossed.
Both coverpoints are two-bit signals. The four possible values of each
are 0 through 3. There are 16 possible combinations of values.
The prog.txt file for this code contains the following:
Automatically Generated Cross Bins
bit1 bit2 # hits at least
=======================================================
auto[0] auto[0] 10 1
auto[0] auto[1] 13 1
auto[0] auto[2] 12 1
auto[0] auto[3] 5 1
auto[1] auto[0] 12 1
auto[1] auto[1] 18 1
auto[1] auto[2] 10 1
auto[1] auto[3] 13 1
auto[2] auto[0] 19 1
auto[2] auto[1] 16 1
auto[2] auto[2] 17 1
auto[2] auto[3] 6 1
auto[3] auto[0] 6 1
auto[3] auto[1] 15 1
auto[3] auto[2] 16 1
auto[3] auto[3] 12 1
=======================================================
There are 16 cross coverage bins, one for each possible combination.
Defining Cross Coverage Bins