system-verilog - 系统verilog断言 - $rose

Question

我想写一个断言，它说 req 应该在下一次完成后 4 个周期变高。对我来说，重置完成已经很高了。我怎样才能在下一次完成时提出更高的要求。assert property {$rose(done) |-> ##4 req}但我不知道为什么它不起作用。有人可以帮忙吗？

Answer 1

如果 done 开始时很高，并且您想等待它下降然后再次上升，请尝试：

assert property (!done ##1 $rose(done) |-> ##4 req)

但这只是保证 req 在 done 的上升沿后四个周期为高。它没有说明何时发生（可能是两个周期前，甚至可能在断言之前完成）。如果您想在完成后严格执行 req 上升四个周期，请尝试以下操作：

assert property (!done ##1 $rose(done) |-> ##4 $rose(req))