SV功能覆盖率中的wildcard bin介绍

在SV功能覆盖率中通常coverpoint中变量的某些比特我们并不关心。例如对于addr[3:0],我们只希望其中的每一个比特都覆盖过“0”和“1”。

在上图中，可以用wildcard ' x '或' z '或' ?’表明某些比特我们并不关心，不管它是“0”还是“1”。

 

wildcard bins ainc = {4’b11??}

 

表示我们希望能够覆盖比特[3:2]为2’b11的场景，不关心比特[1:0]，所以

 

4’b1100、4’b1101、4’b1110、4’b1111

 

都算完成了对于4’b11??的覆盖。

审核编辑：刘清