Hi Surya: If you think about it, when an actual argument is substituted for a reference to a formal argument, the thing being replaced is just the reference, i.e. and identifier. In your example the instance "s1" would be substituted for the reference "s" to the formal argument, which is just an identifier. The spirit of this list is really to enumerate examples of syntactic entities that could be replaced by references to formal arguments, but that is not what the text says. Also, the phrase "can replace" should be interpreted as stating the possibility or permission of the cases rather than as stating that the list of cases is exhaustive. This part of the LRM has been heavily criticized and is being rewritten entirely in proposals for the 2008 standard. J.H. > X-Authentication-Warning: server.eda.org: majordom set sender to owner-sv-ac@eda.org using -f > Date: Thu, 31 Jan 2008 11:30:29 +0530 > From: Surya Pratik Saha <spsaha@cal.interrasystems.com> > Cc: Sarani Roy <sarani@cal.interrasystems.com>, sv-ec@eda.org, sv-ac@eda.org > X-InterraSystems-MailScanner-Information: Please contact the ISP for more information > X-InterraSystems-MailScanner: Found to be clean > X-InterraSystems-MailScanner-From: spsaha@cal.interrasystems.com > X-Spam-Status: No, No, No > X-eda.org-MailScanner: Found to be clean, Found to be clean > Sender: owner-sv-ac@eda.org > X-eda.org-MailScanner-Information: Please contact the ISP for more information > X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org > X-OriginalArrivalTime: 31 Jan 2008 06:01:23.0793 (UTC) FILETIME=[B5677C10:01C863CE] > > <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> > <html> > <head> > <meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type"> > </head> > <body bgcolor="#ffffff" text="#000000"> > Hi,<br> > As per SV LRM 1800-2005, (section 17.6 Declaring sequences):<br> > <br> > <b>An actual argument can replace any of the following:<br> > Identifier<br> > Expression<br> > Event control expression<br> > Upper delay range or repetition range if the actual argument is $<br> > <br> > </b>A sequence instance is not part of normal expression. So as per LRM > the case is illegal.<br> > <pre class="moz-signature" cols="72">Regards > Surya > </pre> > <br> > <br> > -------- Original Message --------<br> > Subject: [sv-ec] RE: [sv-ac] Seuence Instance passed as an argument to > sequence<br> > From: Korchemny, Dmitry <a class="moz-txt-link-rfc2396E" href="mailto:dmitry.korchemny@intel.com"><dmitry.korchemny@intel.com></a><br> > To: Sarani Roy <a class="moz-txt-link-rfc2396E" href="mailto:sarani@cal.interrasystems.com"><sarani@cal.interrasystems.com></a>, <a class="moz-txt-link-abbreviated" href="mailto:sv-ec@eda.org">sv-ec@eda.org</a>, > <a class="moz-txt-link-abbreviated" href="mailto:sv-ac@eda.org">sv-ac@eda.org</a><br> > Date: Wednesday, January 30, 2008 6:22:38 PM<br> > <blockquote > cite="mid:1100CE41B4EF3244A33BDFA3DE99CC2A608288@hasmsx412.ger.corp.intel.com" > type="cite"> > <pre wrap="">Yes, this is correct. > > Dmitry. > > -----Original Message----- > From: <a class="moz-txt-link-abbreviated" href="mailto:owner-sv-ac@server.eda.org">owner-sv-ac@server.eda.org</a> [<a class="moz-txt-link-freetext" href="mailto:owner-sv-ac@server.eda.org">mailto:owner-sv-ac@server.eda.org</a>] On > Behalf Of Sarani Roy > Sent: Wednesday, January 30, 2008 2:21 PM > To: <a class="moz-txt-link-abbreviated" href="mailto:sv-ec@server.eda.org">sv-ec@server.eda.org</a>; <a class="moz-txt-link-abbreviated" href="mailto:sv-ac@server.eda.org">sv-ac@server.eda.org</a> > 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 > > > > </pre> > </blockquote> > <br> > </body> > <br />-- > <br />This message has been scanned for viruses and > <br />dangerous content by > MailScanner, and is > <br />believed to be clean. > </html> > -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Jan 31 06:08:06 2008
This archive was generated by hypermail 2.1.8 : Thu Jan 31 2008 - 06:08:41 PST