ovl未指定的時鐘數

Question

有沒有辦法使用ovl（例如ovl_change）來檢查一個事件後信號是否改變了未指定數量的時鐘？規範列出了一個必須指定的num_clks，我想知道是否有辦法使這個num_clks字段無限（或者如果有另一種使用ovl的方法，您不需要指定num_clks）。

Answer 1

設置num_clks至$。

我假設OVL正在製作SVA模板，因此$將代表斷言的無限範圍。如果它不是斷言格式，希望它仍然遵循IEEE Std 1800並支持和使用$isunbounded。有關$isunbounded的更多信息，請參見IEEE Std 1800-2005中的第22.4節或IEEE Std 1800-2012中的第20.6.3節。

請注意，您可能會受到OVL版本功能的限制。您可能需要查找並直觀檢查OVL源代碼以確定知道。