标签：
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
