Systemverilog覆蓋箱

Question

我正在使用系統verilog覆蓋範圍，我想檢查箱的範圍。 我希望它在1000-2000範圍內 但是隻有他在mod 5中的值纔會被採樣。 例如1000，1005，1010等

感謝您的幫助！

Answer 1

據我所知，這是在2012年SV容易實現下面是它會怎樣看你的情況：

coverpoint x { 
    bins mod5[] = {[1000:2000]} with (item % 5 == 0); 
} 

你可以閱讀更多的IEEE Std 1800-2012第19.5.1.1。如果你沒有一個可以完成SV 2009的舊模擬器，那麼你必須手動定義這些值。