assertion相关的 |->和 |=>的区别：

sequence_expr |-> property_expr : the end of sequence_expr is the start of property_expr.

sequence_expr |=> property_expr : the start of property_expr is 1 clock tick after the end of sequence_expr.

systemverilog语法