What is the difference between ## and |=> in assertion?

SystemVerilog
, ,
2

In reply to rma:

I strongly suggest that you study the concepts of SVA, including the concept of vacuity, and sequence, and properly operators.
There are many books on SVA, including mine, plus lots of information on the web.
Ben systemverilog.us