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]值。