Equivalent expression for intersect operator

SystemVerilog
, , , ,
1

Hi Moderators,

For an ‘intersect’ operator to succeed the lhs & rhs sequence must be of the same length

(a) Both lhs & rhs sequence must match at the starting clock

(b) Both lhs & rhs sequence must end at the same clock

Consider the following concurrent assertion

a1:assert property( @(posedge clk) seq_exp[*1:$] intersect $rose(sig)[->1] );

(Q1) I wanted to confirm if the following is the equivalent expression for a1 ? ::

( seq_exp[*1] intersect $rose(sig)[->1] ) or
( seq_exp[*2] intersect $rose(sig)[->1] ) or
( seq_exp[*3] intersect $rose(sig)[->1] ) or
.........................................
( seq_exp[*N] intersect $rose(sig)[->1] ) or

(Q2) Would a1 pass, as soon as the intersect operator succeeds for any of the sub-sequence ?

Thanks