CODEWITHSUNDEEP
verilogsystem-verilogverificationsystem-verilog-assertionsvlsi
Prasanna Shanbhogue
Prasanna Shanbhogue

Reputation: 53

What is the diffrence between Non-Consecutive GoTo Repetition Operator and Repetition Non-Consecutive in system verilog?

I'm currently reading Ashok Mehta's system Verilog assertion textbook. Now I have encountered a doubt. I couldn't understand what is the difference between -> and = operator. I.e, Non-Consecutive GoTo Repetition Operator and Repetition Non-Consecutive. Some please explain what is the difference. The timing things in the textbook will be similar even if we used = instead of ->. Please explain me.

Here this is the snapshot for Ashok Mehta's book

Upvotes: 1

Views: 1177

Answers (1)

dave_59
dave_59

Reputation: 42788

The difference comes into play is when a sequence follows these repetition operators.

b[=2] ##1 c

is equivalent to

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

There are other ramifications when using these operators discussed here

Upvotes: 3

Related Questions