系统verilog中非连续GoTo重复运算符和非连续重复有什么区别？

Question

我目前正在阅读 Ashok Mehta 的系统 Verilog 断言教科书。现在我遇到了一个疑问。我无法理解 -> 和 = 运算符之间有什么区别。即非连续 GoTo 重复运算符和非连续重复。有的请解释一下有什么区别。即使我们使用 = 而不是 ->，教科书中的计时内容也会类似。请解释一下。

Answer 1

区别在于当序列遵循这些重复运算符时。

b[=2] ##1 c

相当于

b[->2] ##1 !b[*0:$] ##1 c

使用此处讨论的这些运算符还会产生其他后果

Answer 2

请仔细看上面两张照片