Yes, this is correct. Dmitry. -----Original Message----- From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of Sarani Roy Sent: Wednesday, January 30, 2008 2:21 PM To: sv-ec@server.eda.org; sv-ac@server.eda.org Subject: [sv-ac] 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. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Jan 30 04:55:59 2008
This archive was generated by hypermail 2.1.8 : Wed Jan 30 2008 - 04:56:25 PST