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.
原文：http://www.cnblogs.com/lybinger/p/5946153.html