vld/rdy协议 断言

1）当vld拉高，但是rdy还没拉高时，vld和data需要保持稳定。
VLD_RDY_ASSERT : assert property(@(posedge clk) vld && $past(vld) && !$past(rdy) |-> $stable(data)).
注： $stable() : 是这一拍和上一拍对比，数据有没有变化
写断言的时候，也要注意是 vld的值，还是vld的上升沿和下降沿，这个也是蛮重要的。

vld/rdy协议 断言最先出现在Python成神之路。