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

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

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

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

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

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

‘hf[*3]

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

’hf[-> 3]

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

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

SV信號跳變覆蓋率非常重要，因為非常多的bug都是出現(xiàn)在這種場景切換上的。

編輯：黃飛