如何解决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
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。