Блог

Я пытаюсь написать контрольную точку, чтобы проверить, должны ли одновременно появляться 2 сигнала или нет.

 covergroup signal@(posedge clk)
    signals : coverpoint (a, b){
    bins on_off = {2'b11}
}
  

Я просто хотел знать, правильный ли это путь для записи точки покрытия.

Я думаю, вы имели в виду писать coverpoint {a,b} с использованием фигурных скобок конкатенации. Это сработало бы. Еще одна вещь, которую вы можете сделать, это

 covergroup signal @(posedge clk);
    signals : coverpoint aamp;b {
    bins on = {1};
}
endgroup