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源代码以确定。