verilog - ovl 未指定のクロック数

Question

ovl (例: ovl_change) を使用して、信号がイベント後に不特定数のクロックを変更することを確認する方法はありますか? 仕様には、指定する必要がある num_clks がリストされています。この num_clks フィールドを無限にする方法があるかどうか (または、num_clks を指定する必要がない ovl を使用する別の方法があるかどうか) 疑問に思っています。

Answer 1

に設定num_clksし$ます。

OVL は SVA を介してテンプレートを作成している$ため、アサーションの範囲は無制限であると想定しています。アサーション形式でない場合でも、IEEE Std 1800 に引き続き準拠しており、$isunbounded. の詳細については、IEEE Std 1800-2005 のセクション 22.4 またはIEEE Std 1800-2012のセクション 20.6.3 を参照してください$isunbounded。

OVL バージョンの機能によって制限される場合があることに注意してください。確実に知るには、OVL ソース コードを見つけて視覚的に検査する必要がある場合があります。