SVA 再了解(二)

|=>與 |->的不同

|=>
非交叠蕴含操作符“|=>”表示：如果先行算子匹配，后序算子在下一个时钟周期开始计算。
The operator |=> means “then at the next clock
cycle”, and it is called non-overlapping suffix implication.

|->
交叠蕴含操作符“|->”表示如果先行算子匹配，后序算子在同一个时钟周期开始计算。
(operator |->, called overlapping suffix implication