Coverpoint检查两个信号是否同时处于活动状态

问题描述

我正试图写一个掩护点，以检查应该同时出现两个信号的位置。

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

我只是想知道这是否是编写掩护点的正确路径。

解决方法

我认为您打算使用串联花括号来编写coverpoint {a,b}。那行得通。您可以做的另一件事是

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