SV: Как создать функциональное покрытие для переходов, не беспокоясь о тактах?

Question

Обычно, я бы просто использовал метод повторения для длительной последовательности времени для определенного перехода.

то есть.

  covergroup test1 @(posedge clk)
  coverpoint( signal[1], signal[0]) 
 {
  bins transition1 = (2'b00[*1:100] =>2'b11[*1:100] => 2'b00) 
 }

Есть ли другой способ проверить наличие нескольких переходов, но не установить ограничение на повторение. Чтобы прояснить, я хочу иметь возможность проверить, происходят ли определенные переходы, но не заботиться о времени (циклы clk).

Answer 1

Не определять событие выборки для группы покрытия, то есть нет @(posedge clk)определить точку покрытия без [*1:100] и сэмплировать, используя covergroup_name.sample()