system-verilog - 用于检查 2 个信号是否同时处于活动状态的覆盖点

Question

我正在尝试编写一个封面点来检查 2 个信号应该在哪里同时出现。

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

我只是想知道这是否是写封面点的正确路径。

标签： system-verilog

Answer 1

我认为您的意思是coverpoint {a,b}使用连接大括号编写。那会奏效。你可以做的另一件事是

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