[sv-ec] Seuence Instance passed as an argument to sequence

Hi,

Is this a valid scenario:

sequence s1;
 @(posedge clk) irdy ##1 !trdy ##1 !devsel;
 endsequence

 sequence seq (s,trans,grant,n);
 @(posedge clk) s ##1 trans ##1 grant[*n];
 endsequence

 property p1;
 @(posedge clk)
 reset |=> seq(s1,next_state==3'b111,stop,4) ##1 frame[*2];
 endproperty
 
 assert property(p1);

Most of the standard tools are passing.

Thanks,
Sarani



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.