In reply to vk7715:
SVA allows an expression or a sequence to be repeated. For example:
b[*2] is equivalent to b ##1 b
(a ##1 b)[*2] is equivalent to (a ##1 b) ##1(a ##1 b).
the expression can be a variable (like “a”, or it can be a constant like 1’b1 or just 1
Thus 1[*2] is same as 1 ##1 1
same as true ##1 true,
(seq1 within seq2) is equivalent to: ((1[*0:] ##1 seq1 ##1 1[*0:]) intersect seq2 )
COuld have written this as
(seq1 within seq2) is equivalent to: ((##[0:] seq1 ##[0:]) intersect seq2 )