在SV功能覆蓋率中通常coverpoint中變量的某些比特我們并不關(guān)心。例如對(duì)于addr[3:0],我們只希望其中的每一個(gè)比特都覆蓋過“0”和“1”。
在上圖中,可以用wildcard ' x '或' z '或' ?’表明某些比特我們并不關(guān)心,不管它是“0”還是“1”。
wildcard bins ainc = {4’b11??}
表示我們希望能夠覆蓋比特[3:2]為2’b11的場景,不關(guān)心比特[1:0],所以
4’b1100、4’b1101、4’b1110、4’b1111
都算完成了對(duì)于4’b11??的覆蓋。
審核編輯:劉清
-
Address
+關(guān)注
關(guān)注
0文章
6瀏覽量
7792 -
BIN文件
+關(guān)注
關(guān)注
0文章
27瀏覽量
8690
原文標(biāo)題:SV 功能覆蓋率中的wildcard bin
文章出處:【微信號(hào):芯片驗(yàn)證工程師,微信公眾號(hào):芯片驗(yàn)證工程師】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。
發(fā)布評(píng)論請(qǐng)先 登錄
一文詳解Modelsim代碼覆蓋率功能使用
嵌入式仿真平臺(tái)SkyEye的覆蓋率分析相關(guān)資料下載
關(guān)于SpinalHDL中的驗(yàn)證覆蓋率收集簡單說明
重點(diǎn)厘清覆蓋率相關(guān)的概念以及在芯片開發(fā)流程中跟覆蓋率相關(guān)的事項(xiàng)
Systemverilog覆蓋率的合并和計(jì)算方式
針對(duì)功能覆蓋率的驗(yàn)證過程
基于覆蓋率的功能驗(yàn)證方法

Verilog代碼覆蓋率檢查
IP開發(fā)時(shí)如何考慮復(fù)用覆蓋率
汽車功能安全診斷覆蓋率的評(píng)估

統(tǒng)計(jì)嵌入式代碼覆蓋率的方法和經(jīng)驗(yàn)

評(píng)論