篇11-$past构造与带时钟门控的$past构造

1.$past构造

(1) SVA内嵌系统函数“$past”可以得到信号在几个时钟周期之前的值。在默认情况下，它提供信号在前一个时钟周期的值。

(2) 结构的基本语法：$past(signal_name, number of clock cycles)

2.$past构造实例

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

 

3.带时钟门控的$past构造

(1) $past构造可以由一个门控信号控制.比如,在一个给定的时钟沿,只有当门控信号的值为真时,才检查后续算子的情况;

(2) 使用门控信号的$past构造的基本语法: $past(signal_name, number of clock cycles, gating signal)

4.带时钟门控的$past构造实例

属性p20与属性p19相似,但是只有当门控信号e在任意给定的时钟上升沿有效时(???,需要运行仿真观看效果),检验才被激活;