system verilog 编写function coverage

收集指定信号的范围、收集指定信号的特定值、收集指定多个信号的组合值或cross。

example0：

signal_a_cov : coverpoint intf.signal_a iff(intf.signal_a_vld)
{ bins signal_a_cov[] = {[0:9]};
}

 

example1：

signal_a_cov : coverpoint intf.signal_a iff(intf.signal_a_vld)
{ bins signal_a_cov0 = {16'h0000};
  bins signal_a_cov1 = {16'haaaa};
  bins signal_a_cov2 = {16'h3333};
  bins signal_a_cov3 = {16'h5555};
  bins signal_a_cov4 = {16'hffff};
}

example2：

signal_a_cov : coverpoint intf.signal_a iff(intf.signal_a_vld)
{ bins signal_a_cov[] = {0,5,15};
}

example3：

signal_a_cov : coverpoint intf.signal_a iff(intf.signal_a_vld && intf.signal_b==0)
{ bins signal_a_cov[] = {3,6,9};
}

example4：

signal_a_cov : coverpoint intf.signal_a iff(intf.signal_a_vld &&