SV建模信號(hào)跳變覆蓋率的重要性

和上一篇文章介紹的cross一樣，SV跳變（=>）特性也能夠建模出比代碼覆蓋率更加復(fù)雜和豐富的功能覆蓋率。

在上面的例子當(dāng)中有1個(gè)跳變覆蓋率coverpoint:

bins ar1 = (8’h00 => 8’hFF);

這意味著驗(yàn)證環(huán)境需要施加激勵(lì)，讓adr1在連續(xù)2個(gè)周期內(nèi)從8’h00跳變到8’hff。

類似地，還有' bins ar2 '，指定了1’b1 => 1’b0的切換。

如果你希望adr1這個(gè)值能夠連續(xù)3拍值f這個(gè)場(chǎng)景，可以使用語(yǔ)法

‘hf[*3]

如果不要求連續(xù)覆蓋，那么可以使用語(yǔ)法

’hf[-> 3]

另外，注意下bins adrb3[] = (1,2=>3,4)這種寫(xiě)法，其實(shí)等價(jià)于

binsadrb3[]=(1=>3)，(1=>4)，(2=>3)，(2=>4)；

SV信號(hào)跳變覆蓋率非常重要，因?yàn)榉浅６嗟腷ug都是出現(xiàn)在這種場(chǎng)景切換上的。

編輯：黃飛