Observe a seguinte declaração de covergroup em SystemVerilog 2009.
covergroup meu_cg @(posedge clk);
coverpoint v
{
bins b1 = (1 => 2), ([3:4]=>5,6);
bins b2[] = (1 => 2 => 3), ([3:4]=>5,6);
bins b3 = (5 [*2]);
}
endgroup
Sobre a definição acima é correto afirmar:
A
O primeiro comando bins associa as seguintes sequências a b1: (1 => 2), (3 => 5), (4 => 5), (6).
B
O segundo comando bins associa as seguintes sequências a b2: (1 => 2), (3 => 5), (4 => 5), (4 => 6).
C
O terceiro comando bins associa as seguintes sequências a b3: (5), (5 => 5).
D
O primeiro comando bins associa individualmente cada sequência a b1.
E
Cada sequência definida em b2 é individualmente acessada.