system-verilog - SVA 语法：将 $past 与向量/数组选择一起使用，即 $past(a[a_select])

Question

假设我有以下内容：

$past(a[a_select])

假设在当前周期a_select中为“2”，而在前一个周期中为“1”。a[2]以上是从上一个周期评估还是从上一个周期评估a[1]？

如果它将a[1]来自上一个周期，如果我需要它来自上一个周期怎么办a[2]- 即我希望选择来自当前周期，但它应该从上一个周期的向量值中选择位。如何才能做到这一点？

Answer 1

通常，$past是一个系统任务，它返回之前 n 个时钟事件的表达式的值。如果a_select当前周期为“2”，则表达式$past(a[a_select])将返回a[2]上一个时钟事件的值。