verilog - ovl 未指定的时钟数

Question

有没有办法使用 ovl（例如 ovl_change）来检查信号是否在事件发生后改变了未指定数量的时钟？规范列出了必须指定的 num_clks，我想知道是否有办法使这个 num_clks 字段无限（或者是否有另一种使用 ovl 的方式，您不需要指定 num_clks）。

Answer 1

设置num_clks为$。

我假设 OVL 正在 SVA 上制作模板，因此$将代表一个无限范围的断言。如果它不是断言格式，希望它仍然遵循 IEEE Std 1800 并支持和使用$isunbounded. 有关. _ _$isunbounded

请注意，您可能会受到 OVL 版本功能的限制。您可能需要查找并目视检查 OVL 源代码才能确定。