system-verilog - Systemverilog カバレッジ ビン

Question

システム Verilog カバレッジを使用しており、ビンの範囲を確認したい。1000 ～ 2000 の範囲内にしたいのですが、mod 5 の値だけがサンプリングされます。たとえば、1000、1005、1010 などです。

助けてくれてありがとう！

Answer 1

私の知る限り、これは SV 2012 で簡単に可能です。あなたの場合は次のようになります。

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

詳細については、 IEEE Std 1800-2012のセクション 19.5.1.1 を参照してください。SV 2009 のみを実行できる古いシミュレーターがない場合は、手動で値を定義する必要があります。