Hi Dmitry: I don't think that these examples are legal according to what we have in the pipe for 1800-2008. An actual argument must be an expression of one of the admitted kinds. A handle to a declaration is not one of these kinds. A fairly long time ago, we talked about this sort of capability and the problem that for some type safety we would want to know the signature of the handle. But that line of enhancement has not been pursued to date. J.H. > X-ExtLoop1: 1 > X-IronPort-AV: E=Sophos;i="4.25,302,1199692800"; > d="scan'208,217";a="334515497" > X-MimeOLE: Produced By Microsoft Exchange V6.5 > Content-class: urn:content-classes:message > Date: Mon, 4 Feb 2008 15:06:27 +0200 > X-MS-Has-Attach: > X-MS-TNEF-Correlator: > Thread-Topic: [sv-ec] RE: [sv-ac] Seuence Instance passed as an argument to sequence > Thread-Index: AchkEqpV0mNkk7x6TdiHLc0oOLOcKAAzWWvQAJOBJBA= > From: "Korchemny, Dmitry" <dmitry.korchemny@intel.com> > Cc: <sarani@cal.interrasystems.com>, <sv-ec@eda.org>, <sv-ac@eda.org> > X-OriginalArrivalTime: 04 Feb 2008 13:06:33.0752 (UTC) FILETIME=[C42D5180:01C8672E] > > Hi Daniel,=20 > > This is a gray area of the LRM, I haven't found in the LRM that this > construct is forbidden, but I am not completely sure about it. > > Regards, > Dmitry > > -----Original Message----- > From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On > Behalf Of danielm > Sent: Friday, February 01, 2008 5:16 PM > To: john.havlicek@freescale.com; spsaha@cal.interrasystems.com > Cc: Korchemny, Dmitry; sarani@cal.interrasystems.com; > sv-ec@server.eda.org; sv-ac@server.eda.org > Subject: RE: [sv-ec] RE: [sv-ac] Seuence Instance passed as an argument > to sequence > > I've an idea to extend SVA syntax to allow writing more flexible code. > > Lets look at an example: > sequence s1(x,y); x ##1 y;endseqeuence =20 > sequence s2(x,y); x [*2] #1 y;endseqeuence =20 > > property P(ss,xx,yy); ss(xx,yy) |=3D> consequent; endproperty > > The property P in above case become powerful template - we may use very > different seqeunces in P: > assert property P(s1,a,b); > assert property P(s2,a,b); > > Etc.... > > > Does 1800-2008 support above codes? > If no what are you thinking about such extension? > > > DANiel > > -----Original Message----- > From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On > Behalf Of John Havlicek > Sent: Thursday, January 31, 2008 2:48 PM > To: spsaha@cal.interrasystems.com > Cc: dmitry.korchemny@intel.com; sarani@cal.interrasystems.com; > sv-ec@server.eda.org; sv-ac@server.eda.org > Subject: Re: [sv-ec] RE: [sv-ac] Seuence Instance passed as an argument > to > sequence > > 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=20 > > 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,=20 > > sv-ac@eda.org > > X-InterraSystems-MailScanner-Information: Please contact the ISP for=20 > > 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=20 > > information > > X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org > > X-OriginalArrivalTime: 31 Jan 2008 06:01:23.0793 (UTC)=20 > > FILETIME=3D[B5677C10:01C863CE] > >=20 > > <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> > > > <head> > > <meta content=3D"text/html;charset=3DISO-8859-1"=20 > > http-equiv=3D"Content-Type"> </head> <body bgcolor=3D"#ffffff"=20 > > text=3D"#000000"> Hi,<br> As per SV LRM 1800-2005, (section 17.6=20 > > Declaring sequences):<br> <br> <b>An actual argument can replace any=20 > > of the following:<br> =14 Identifier<br> =14 Expression<br> =14 Event=20 > > control expression<br> =14 Upper delay range or repetition range if = > the=20 > > actual argument is $<br> <br> </b>A sequence instance is not part of=20 > > normal expression. So as per LRM the case is illegal.<br> <pre=20 > > class=3D"moz-signature" cols=3D"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=3D"moz-txt-link-rfc2396E"=20 > > = > href=3D"mailto:dmitry.korchemny@intel.com"><dmitry.korchemny@intel.co > > m></a><br> > > To: Sarani Roy <a class=3D"moz-txt-link-rfc2396E"=20 > > = > href=3D"mailto:sarani@cal.interrasystems.com"><sarani@cal.interrasyst > > ems.com></a>, <a class=3D"moz-txt-link-abbreviated"=20 > > href=3D"mailto:sv-ec@eda.org">sv-ec@eda.org</a>, > > <a class=3D"moz-txt-link-abbreviated"=20 > > href=3D"mailto:sv-ac@eda.org">sv-ac@eda.org</a><br> > > Date: Wednesday, January 30, 2008 6:22:38 PM<br> <blockquote =20 > > > cite=3D"mid:1100CE41B4EF3244A33BDFA3DE99CC2A608288@hasmsx412.ger.corp.int= > e > l.co > m" > > type=3D"cite"> > > <pre wrap=3D"">Yes, this is correct. > >=20 > > Dmitry. > >=20 > > -----Original Message----- > > From: <a class=3D"moz-txt-link-abbreviated"=20 > > = > href=3D"mailto:owner-sv-ac@server.eda.org">owner-sv-ac@server.eda.org</a > > > [<a class=3D"moz-txt-link-freetext"=20 > > = > href=3D"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=3D"moz-txt-link-abbreviated"=20 > > href=3D"mailto:sv-ec@server.eda.org">sv-ec@server.eda.org</a>; <a=20 > > class=3D"moz-txt-link-abbreviated"=20 > > href=3D"mailto:sv-ac@server.eda.org">sv-ac@server.eda.org</a> > > Subject: [sv-ac] Seuence Instance passed as an argument to sequence > >=20 > > Hi, > >=20 > > Is this a valid scenario: > >=20 > > sequence s1; > > @(posedge clk) irdy ##1 !trdy ##1 !devsel; endsequence > >=20 > > sequence seq (s,trans,grant,n); > > @(posedge clk) s ##1 trans ##1 grant[*n]; endsequence > >=20 > > property p1; > > @(posedge clk) > > reset |=3D> seq(s1,next_state=3D=3D3'b111,stop,4) ##1 frame[*2]; =20 > > endproperty > > =20 > > assert property(p1); > >=20 > > Most of the standard tools are passing. > >=20 > > Thanks, > > Sarani > >=20 > >=20 > >=20 > > </pre> > > </blockquote> > > <br> > > </body> > > <br />-- > > <br />This message has been scanned for viruses and <br />dangerous=20 > > content by <a=20 > > href=3D"http://www.mailscanner.info/"><b>MailScanner</b></a>, and is = > <br > > > />believed to be clean. > > </html> > >=20 > > -- > This message has been scanned for viruses and dangerous content by > MailScanner, and is believed to be clean. > > > --=20 > 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 Mon Feb 4 09:31:57 2008
This archive was generated by hypermail 2.1.8 : Mon Feb 04 2008 - 09:32:32 PST