1.$past构造

SVA提供了一个内嵌的系统函数“$past”，它可以得到信号在几个时钟周期之前的值。在默认情况下，它提供信号在前一个时钟周期的值。结构的基本语法如下：

       $past(signal_name, number of clock cycles)

       这个任务能够有效地验证到达当前时钟周期的状态所采用的通路是正确的。

       属性p19检验的是在给定的时钟上升沿，如果表达式（c&&d）为真，那么两个周期前，表达式（a&&b）为真。