Hi Dmitry: I have no understanding that is clear enough, say, for me to wager money. If what you say is correct, though, then it seems to me that there is no need for the sentence Nets with drivers shall assume the output value of their drivers. I took this sentence to mean that the default initial value of a net with a driver is the initial value of the driving expression. Maybe someone in SV-BC can clarify. The question is, given the declarations below is the initial value of w 1'bz or 1'bx? reg r; wire w; assign w = r; J.H. > X-ExtLoop1: 1 > X-IronPort-AV: E=Sophos;i="4.21,437,1188802800"; > d="scan'208";a="275530123" > X-MimeOLE: Produced By Microsoft Exchange V6.5 > Content-class: urn:content-classes:message > Date: Mon, 19 Nov 2007 19:07:34 +0200 > X-MS-Has-Attach: > X-MS-TNEF-Correlator: > Thread-Topic: [sv-ac] sampled assertion function vs data types - refereing to prior simulation > Thread-Index: AcgnxA04RO/uFxFHRtmJtNMptjQunQDBVF6g > From: "Korchemny, Dmitry" <dmitry.korchemny@intel.com> > Cc: <danielm@aldec.com.pl>, "Bresticker, Shalom" <shalom.bresticker@intel.com>, > <sv-ac@eda-stds.org> > X-OriginalArrivalTime: 19 Nov 2007 17:07:41.0476 (UTC) FILETIME=[B1CE0E40:01C82ACE] > > Hi John, > > As you mentioned, the question is what we have in the preponed region > initially. I understand it that the value is z for all net types except > trireg. If we understand the situation differently, it means that the > LRM description is ambiguous. > > Thanks, > Dmitry > > -----Original Message----- > From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On > Behalf Of John Havlicek > Sent: Thursday, November 15, 2007 10:11 PM > To: Korchemny, Dmitry > Cc: danielm@aldec.com.pl; Bresticker, Shalom; sv-ac@server.eda-stds.org > Subject: Re: [sv-ac] sampled assertion function vs data types - > refereing to prior simulation > > Hi Dmitry: > > > reg clk; > > wire w; > > reg r; > > assign w=3Dr > > initial begin > > clk=3D1; > > ..... > > end > > z:assert property(@(posedge clk) w=3D=3D=3D1'bz)); > > x:assert property(@(posedge clk) w=3D=3D=3D1'bx)); > >=20 > > Which from above should fail? > > > I did not follow your response. Daniel's example does not use $past, > and his code shows that there will be a posedge of clk in the first > timestep of simulation. > > The question is, what is the value of w in the Preponed region of the > first timestep? =20 > > - If it is 1'bx, then x passes and z fails. > - If it is 1'bz, then z passes and x fails. > - Otherwise, both x and z fail. > > This is not an assertions question, and the answer should come from > the LRM description of the behavior of wires and continuous assignments. > > You cited the following passage from 6.6: > > The default initialization value for a net shall be the value z. > Nets with drivers shall assume the output value of their > drivers. The trireg net is an exception. The trireg net shall > default to the value x, with the strength specified in the net > declaration (small, medium, or large). > > I think that this could be written more clearly, but because the first > and fourth sentences both talk about default initialization, my guess > is that the second sentence also talks about default intialization. > This says to me that a logic net with no declaration assignment and a > reg=20 > driver will default to 1'bx, not 1'bz. =20 > > 10.3 says that the continuous assignment "w=3Dr" does not update until r > changes value, which is after the preponed region of the first > timestep. Therefore, the value of w in the Preponed region of the > first timestep is the same as the default initial value of w. > > So I think that the x assertion should pass in the first timestep, > while the z assertion should fail. > > J=2EH. > > > X-Authentication-Warning: server.eda.org: majordom set sender to > owner-sv-ac@eda.org using -f > > X-ExtLoop1: 1 > > X-IronPort-AV: E=3DSophos;i=3D"4.21,419,1188802800";=20 > > d=3D"scan'208,217";a=3D"319023437" > > X-MimeOLE: Produced By Microsoft Exchange V6.5 > > Content-class: urn:content-classes:message > > Date: Thu, 15 Nov 2007 13:15:59 +0200 > > X-MS-Has-Attach:=20 > > X-MS-TNEF-Correlator:=20 > > Thread-Topic: [sv-ac] sampled assertion function vs data types - > refereing to prior simulation > > Thread-Index: AcgnacO4fVibiJCVRpiFLq3mZ1jCdgAAGeGgAABsS0AAAgmsEAAAq0rg > > From: "Korchemny, Dmitry" <dmitry.korchemny@intel.com> > > X-OriginalArrivalTime: 15 Nov 2007 11:17:15.0580 (UTC) > FILETIME=3D[13BDEFC0:01C82779] > > X-eda.org-MailScanner: Found to be clean, Found to be clean > > X-eda.org-MailScanner-SpamScore: s > > X-Spam-Status: No, No > > 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 > >=20 > > This is a multi-part message in MIME format. > >=20 > > ------_=3D_NextPart_001_01C82778.E68ED9BC > > Content-Type: text/plain; charset=3D"us-ascii" > > Content-Transfer-Encoding: quoted-printable > >=20 > > There should be the same principle here: > >=20 > > =3D20 > >=20 > > The default initialization value for a net shall be the value z. Nets > > with drivers shall assume the output value > >=20 > > of their drivers. The trireg net is an exception. (6.6) > >=20 > > =3D20 > >=20 > > In your example the assertion x should fail. As for assertion z, it > > should not fail in simulation provided the clock does not tick. > >=20 > > =3D20 > >=20 > > Regards, > >=20 > > Dmitry > >=20 > > =3D20 > >=20 > > ________________________________ > >=20 > > From: danielm [mailto:danielm@aldec.com.pl]=3D20 > > Sent: Thursday, November 15, 2007 12:44 PM > > To: Bresticker, Shalom; Korchemny, Dmitry; sv-ac@server.eda-stds.org > > Subject: RE: [sv-ac] sampled assertion function vs data types - > > refereing to prior simulation > >=20 > > =3D20 > >=20 > > exactly what about nets? > >=20 > > what should happened if i've assertions like below: > >=20 > > =3D20 > >=20 > > reg clk; > >=20 > > wire w; > >=20 > > reg r; > >=20 > > assign w=3D3Dr > >=20 > > initial begin > >=20 > > clk=3D3D1; > >=20 > > ..... > >=20 > > end > >=20 > > z:assert property(@(posedge clk) w=3D3D=3D3D=3D3D1'bz)); > >=20 > > x:assert property(@(posedge clk) w=3D3D=3D3D=3D3D1'bx)); > >=20 > > =3D20 > >=20 > > Which from above should fail? > >=20 > > =3D20 > >=20 > > DANiel > >=20 > > ________________________________ > >=20 > > From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] > On > > Behalf Of Bresticker, Shalom > > Sent: Thursday, November 15, 2007 10:43 AM > > To: Korchemny, Dmitry; sv-ac@server.eda-stds.org > > Subject: RE: [sv-ac] sampled assertion function vs data types - > > refereing to prior simulation > >=20 > > There are other types of data types besides variables. E.g., nets. > >=20 > > =3D20 > >=20 > > Shalom > >=20 > > =3D09=3D20 > >=20 > > =3D09 > > ________________________________ > >=20 > >=20 > > From: owner-sv-ac@server.eda.org > > [mailto:owner-sv-ac@server.eda.org] On Behalf Of Korchemny, Dmitry > > Sent: Thursday, November 15, 2007 11:34 AM > > To: danielm; sv-ac@server.eda-stds.org > > Subject: RE: [sv-ac] sampled assertion function vs data types - > > refereing to prior simulation > >=20 > > Hi Daniel, > >=20 > > =3D09=3D20 > >=20 > > D4 draft contains the following definition in 16.8.3: > >=20 > > =3D09=3D20 > >=20 > > " The value of an expression sampled in the Preponed region > > corresponding to time 0 is the result of evaluating > >=20 > > the expression using the initial values of the variables > > comprising the expression. The initial value of a > >=20 > > static variable is the value assigned in its declaration, or, in > > the absence of such an assignment, it is the > >=20 > > default (or uninitialized) value of the corresponding type (see > > 6.7, Table 6-1). The initial value of any other > >=20 > > variable or signal is the default value of the corresponding > > type (see 6.7, Table 6-1). For example, if $sampled( > >=20 > > y) is called at time 0, and y is of type logic, the value > > returned is X." > >=20 > > =3D09=3D20 > >=20 > > A similar definition is provided for other sampled value > > functions. > >=20 > > =3D09=3D20 > >=20 > > Regards, > >=20 > > Dmitry > >=20 > > =3D09 > > ________________________________ > >=20 > >=20 > > From: owner-sv-ac@server.eda.org > > [mailto:owner-sv-ac@server.eda.org] On Behalf Of danielm > > Sent: Thursday, November 15, 2007 11:28 AM > > To: sv-ac@server.eda-stds.org > > Subject: [sv-ac] sampled assertion function vs data types - > > refereing to prior simulation > >=20 > > =3D09=3D20 > >=20 > > Chapter 17.7.3 describes that value of sampled function > > (sampled, past, stable) in time 0 should be equal X. > >=20 > > =3D09=3D20 > >=20 > > Is it so for all types of variables? > >=20 > > For reg it is ok. > >=20 > > What about bit, wire, enum etc.... > >=20 > > =3D09=3D20 > >=20 > > =3D09=3D20 > >=20 > > DANiel > >=20 > > =3D09 > > --------------------------------------------------------------------- > > Intel Israel (74) Limited > > =3D09=3D20 > > This e-mail and any attachments may contain confidential > > material for > > the sole use of the intended recipient(s). Any review or > > distribution > > by others is strictly prohibited. If you are not the intended > > recipient, please contact the sender and delete all copies. > >=20 > > =3D09 > > --=3D20 > > This message has been scanned for viruses and=3D20 > > dangerous content by MailScanner <http://www.mailscanner.info/> > > , and is=3D20 > > believed to be clean.=3D20 > > --=3D20 > > This message has been scanned for viruses and=3D20 > > dangerous content by MailScanner <http://www.mailscanner.info/> > > , and is=3D20 > > believed to be clean.=3D20 > >=20 > > --------------------------------------------------------------------- > > Intel Israel (74) Limited > > =3D20 > > This e-mail and any attachments may contain confidential material for > > the sole use of the intended recipient(s). Any review or distribution > > by others is strictly prohibited. If you are not the intended > > recipient, please contact the sender and delete all copies. > >=20 > >=20 > > --=3D20 > > This message has been scanned for viruses and=3D20 > > dangerous content by MailScanner <http://www.mailscanner.info/> , and > is > >=20 > > believed to be clean.=3D20 > >=20 > > --------------------------------------------------------------------- > > Intel Israel (74) Limited > >=20 > > This e-mail and any attachments may contain confidential material for > > the sole use of the intended recipient(s). Any review or distribution > > by others is strictly prohibited. If you are not the intended > > recipient, please contact the sender and delete all copies. > >=20 > > --=3D20 > > This message has been scanned for viruses and > > dangerous content by MailScanner, and is > > believed to be clean. > >=20 > >=20 > > ------_=3D_NextPart_001_01C82778.E68ED9BC > > Content-Type: text/html; charset=3D"us-ascii" > > Content-Transfer-Encoding: quoted-printable > >=20 > > <html> > >=20 > > <head> > > <meta http-equiv=3D3DContent-Type content=3D3D"text/html; > charset=3D3Dus-ascii"> > > <meta name=3D3DGenerator content=3D3D"Microsoft Word 11 (filtered)"> > >=20 > > <style> > > <!-- > > /* Font Definitions */ > > @font-face > > {font-family:Courier; > > panose-1:2 7 4 9 2 2 5 2 4 4;} > > @font-face > > {font-family:"MS Mincho"; > > panose-1:2 2 6 9 4 2 5 8 3 4;} > > @font-face > > {font-family:TimesNewRoman; > > panose-1:0 0 0 0 0 0 0 0 0 0;} > > @font-face > > {font-family:CourierNew;} > > @font-face > > {font-family:Tahoma; > > panose-1:2 11 6 4 3 5 4 4 2 4;} > > @font-face > > {font-family:"\@MS Mincho"; > > panose-1:0 0 0 0 0 0 0 0 0 0;} > > /* Style Definitions */ > > p.MsoNormal, li.MsoNormal, div.MsoNormal > > {margin:0in; > > margin-bottom:.0001pt; > > font-size:12.0pt; > > font-family:"Times New Roman";} > > a:link, span.MsoHyperlink > > {color:blue; > > text-decoration:underline;} > > a:visited, span.MsoHyperlinkFollowed > > {color:purple; > > text-decoration:underline;} > > pre > > {margin:0in; > > margin-bottom:.0001pt; > > font-size:10.0pt; > > font-family:"Courier New";} > > p.Body, li.Body, div.Body > > {margin-top:10.0pt; > > margin-right:0in; > > margin-bottom:0in; > > margin-left:0in; > > margin-bottom:.0001pt; > > text-align:justify; > > text-justify:inter-ideograph; > > punctuation-wrap:simple; > > text-autospace:none; > > font-size:10.0pt; > > font-family:TimesNewRoman; > > color:black;} > > p.ExampleCodeIndented, li.ExampleCodeIndented, div.ExampleCodeIndented > > {margin-top:12.0pt; > > margin-right:0in; > > margin-bottom:0in; > > margin-left:20.15pt; > > margin-bottom:.0001pt; > > punctuation-wrap:simple; > > font-size:9.0pt; > > font-family:CourierNew; > > color:black;} > > p.body0, li.body0, div.body0 > > {margin-top:10.0pt; > > margin-right:0in; > > margin-bottom:0in; > > margin-left:0in; > > margin-bottom:.0001pt; > > text-align:justify; > > text-justify:inter-ideograph; > > punctuation-wrap:simple; > > font-size:10.0pt; > > font-family:TimesNewRoman; > > color:black;} > > p.examplecodeindented0, li.examplecodeindented0, > div.examplecodeindented0 > > {margin-top:12.0pt; > > margin-right:0in; > > margin-bottom:0in; > > margin-left:20.15pt; > > margin-bottom:.0001pt; > > punctuation-wrap:simple; > > font-size:9.0pt; > > font-family:CourierNew; > > color:black;} > > span.emailstyle19 > > {font-family:Arial; > > color:blue; > > font-weight:normal; > > font-style:normal; > > text-decoration:none none;} > > span.EmailStyle23 > > {font-family:Arial; > > color:blue; > > font-weight:normal; > > font-style:normal; > > text-decoration:none none;} > > @page Section1 > > {size:595.3pt 841.9pt; > > margin:1.0in 1.25in 1.0in 1.25in;} > > div.Section1 > > {page:Section1;} > > --> > > </style> > >=20 > > </head> > >=20 > > <body lang=3D3DEN-US link=3D3Dblue vlink=3D3Dpurple> > >=20 > > <div class=3D3DSection1> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>There should be the same > principle her=3D > > e:</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'> </span></font></p> > >=20 > > <p class=3D3DMsoNormal style=3D3D'text-autospace:none'><font size=3D3D2 > > face=3D3D"Times New Roman"><span style=3D3D'font-size:10.0pt'>The default > > initialization value for a net shall be the value z. Nets with drivers > shall > > assume the output value</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 10.0pt'>of their drivers. The </span></font><b><font size=3D3D1 > face=3D3D"Couri=3D > > er New"><span > > style=3D3D'font-size:9.0pt;font-family:"Courier > New";font-weight:bold'>trireg=3D > > </span></font></b><font > > size=3D3D2><span style=3D3D'font-size:10.0pt'>net is an exception. > (6.6)</span>=3D > > </font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'> </span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>In your example the assertion x > should=3D > > fail. > > As for assertion z, it should not fail in simulation provided the > clock does > > not tick.</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'> </span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>Regards,</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>Dmitry</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'> </span></font></p> > >=20 > > <div> > >=20 > > <div class=3D3DMsoNormal align=3D3Dcenter > style=3D3D'text-align:center'><font siz=3D > > e=3D3D3 > > face=3D3D"Times New Roman"><span style=3D3D'font-size:12.0pt'> > >=20 > > <hr size=3D3D2 width=3D3D"100%" align=3D3Dcenter tabindex=3D3D-1> > >=20 > > </span></font></div> > >=20 > > <p class=3D3DMsoNormal><b><font size=3D3D2 face=3D3DTahoma><span > style=3D3D'font-si=3D > > ze:10.0pt; > > font-family:Tahoma;font-weight:bold'>From:</span></font></b><font > size=3D3D2 > > face=3D3DTahoma><span style=3D3D'font-size:10.0pt;font-family:Tahoma'> > danielm > > [mailto:danielm@aldec.com.pl] <br> > > <b><span style=3D3D'font-weight:bold'>Sent:</span></b> Thursday, > November 15,=3D > > 2007 > > 12:44 PM<br> > > <b><span style=3D3D'font-weight:bold'>To:</span></b> Bresticker, Shalom; > Korc=3D > > hemny, > > Dmitry; sv-ac@server.eda-stds.org<br> > > <b><span style=3D3D'font-weight:bold'>Subject:</span></b> RE: [sv-ac] > sampled > > assertion function vs data types - refereing to prior > simulation</span></fo=3D > > nt></p> > >=20 > > </div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'> </span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>exactly what about > nets?</span></font>=3D > > </p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'> what should happened if > i've > > assertions like below:</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'> </span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>reg clk;</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>wire w;</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>reg r;</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>assign w=3D3Dr</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>initial begin</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'> > clk=3D3D1;</span></fo=3D > > nt></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>.....</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>end</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>z:assert property(@(posedge clk) > > w=3D3D=3D3D=3D3D1'bz));</span></font></p> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>x:assert property(@(posedge clk) > > w=3D3D=3D3D=3D3D1'bx));</span></font></p> > >=20 > > </div> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'> </span></font></p> > >=20 > > </div> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>Which from above should > fail?</span></=3D > > font></p> > >=20 > > </div> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'> </span></font></p> > >=20 > > </div> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>DANiel</span></font></p> > >=20 > > </div> > >=20 > > <div class=3D3DMsoNormal align=3D3Dcenter > style=3D3D'text-align:center'><font siz=3D > > e=3D3D3 > > face=3D3D"Times New Roman"><span style=3D3D'font-size:12.0pt'> > >=20 > > <hr size=3D3D2 width=3D3D"100%" align=3D3Dcenter tabIndex=3D3D-1> > >=20 > > </span></font></div> > >=20 > > <p class=3D3DMsoNormal style=3D3D'margin-bottom:12.0pt'><b><font size=3D3= > D2 > face=3D > > =3D3DTahoma><span > > > style=3D3D'font-size:10.0pt;font-family:Tahoma;font-weight:bold'>From:</sp > an>=3D > > </font></b><font > > size=3D3D2 face=3D3DTahoma><span > style=3D3D'font-size:10.0pt;font-family:Tahoma'> > > owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] > <b><span > > style=3D3D'font-weight:bold'>On Behalf Of </span></b>Bresticker, > Shalom<br> > > <b><span style=3D3D'font-weight:bold'>Sent:</span></b> Thursday, > November 15,=3D > > 2007 > > 10:43 AM<br> > > <b><span style=3D3D'font-weight:bold'>To:</span></b> Korchemny, Dmitry; > > sv-ac@server.eda-stds.org<br> > > <b><span style=3D3D'font-weight:bold'>Subject:</span></b> RE: [sv-ac] > sampled > > assertion function vs data types - refereing to prior > simulation</span></fo=3D > > nt></p> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D4 color=3D3Dblue face=3D3D"Times New > Roman"><=3D > > span > > style=3D3D'font-size:13.5pt;color:blue'>There are other types of data > types b=3D > > esides > > variables. E.g., nets.</span></font></p> > >=20 > > </div> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'> </span></font></p> > >=20 > > </div> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D4 color=3D3Dblue face=3D3D"Times New > Roman"><=3D > > span > > style=3D3D'font-size:13.5pt;color:blue'>Shalom</span></font></p> > >=20 > > </div> > >=20 > > <blockquote style=3D3D'border:none;border-left:solid blue > 1=2E0pt;padding:0in 0=3D > > in 0in 2.0pt; > > > margin-left:2.4pt;margin-top:5.0pt;margin-right:0in;margin-bottom:5.0pt' > > > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'> </span></font></p> > >=20 > > <div class=3D3DMsoNormal align=3D3Dcenter > style=3D3D'text-align:center'><font siz=3D > > e=3D3D3 > > face=3D3D"Times New Roman"><span style=3D3D'font-size:12.0pt'> > >=20 > > <hr size=3D3D2 width=3D3D"100%" align=3D3Dcenter tabIndex=3D3D-1> > >=20 > > </span></font></div> > >=20 > > <p class=3D3DMsoNormal style=3D3D'margin-bottom:12.0pt'><b><font size=3D3= > D2 > face=3D > > =3D3DTahoma><span > > > style=3D3D'font-size:10.0pt;font-family:Tahoma;font-weight:bold'>From:</sp > an>=3D > > </font></b><font > > size=3D3D2 face=3D3DTahoma><span > style=3D3D'font-size:10.0pt;font-family:Tahoma'>=3D > > owner-sv-ac@server.eda.org > > [mailto:owner-sv-ac@server.eda.org] <b><span > style=3D3D'font-weight:bold'>On =3D > > Behalf > > Of </span></b>Korchemny, Dmitry<br> > > <b><span style=3D3D'font-weight:bold'>Sent:</span></b> Thursday, > November 15,=3D > > 2007 > > 11:34 AM<br> > > <b><span style=3D3D'font-weight:bold'>To:</span></b> danielm; > > sv-ac@server.eda-stds.org<br> > > <b><span style=3D3D'font-weight:bold'>Subject:</span></b> RE: [sv-ac] > sampled > > assertion function vs data types - refereing to prior > simulation</span></fo=3D > > nt></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>Hi Daniel,</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'> </span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>D4 draft contains the following > defini=3D > > tion > > in 16.8.3:</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'> </span></font></p> > >=20 > > <p class=3D3DMsoNormal><span dir=3D3DRTL></span><font size=3D3D2 > color=3D3Dblue fac=3D > > e=3D3DArial><span > > lang=3D3DHE dir=3D3DRTL > style=3D3D'font-size:10.0pt;font-family:Arial;color:blue'=3D > > ><span > > dir=3D3DRTL></span>"</span></font><span dir=3D3DLTR></span><font > size=3D3D2 > > color=3D3Dblue><span lang=3D3DHE > style=3D3D'font-size:10.0pt;color:blue'><span di=3D > > r=3D3DLTR></span> > > </span></font><font size=3D3D2 color=3D3Dblue><span > style=3D3D'font-size:10.0pt;c=3D > > olor:blue'>The > > value of an expression sampled in the Preponed region corresponding to > time=3D > > 0 > > is the result of evaluating</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3D"Times New > Roman"><=3D > > span > > style=3D3D'font-size:10.0pt;color:blue'>the expression using the initial > valu=3D > > es of > > the variables comprising the expression. The initial value of > a</span></fon=3D > > t></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3D"Times New > Roman"><=3D > > span > > style=3D3D'font-size:10.0pt;color:blue'>static variable is the value > assigned=3D > > in > > its declaration, or, in the absence of such an assignment, it is > the</span>=3D > > </font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3D"Times New > Roman"><=3D > > span > > style=3D3D'font-size:10.0pt;color:blue'>default (or uninitialized) value > of t=3D > > he > > corresponding type (see 6.7, Table 6-1). The initial value of any > other</sp=3D > > an></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3D"Times New > Roman"><=3D > > span > > style=3D3D'font-size:10.0pt;color:blue'>variable or signal is the > default val=3D > > ue of > > the corresponding type (see 6.7, Table 6-1). For example, if > </span></font>=3D > > <font > > size=3D3D1 color=3D3Dblue face=3D3DCourier><span > style=3D3D'font-size:9.0pt;font-fa=3D > > mily:Courier; > > color:blue'>$sampled(</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D1 color=3D3Dblue face=3D3DCourier><= > span > style=3D > > =3D3D'font-size: > > 9.0pt;font-family:Courier;color:blue'>y) </span></font><font size=3D3D2 > color=3D > > =3D3Dblue><span > > style=3D3D'font-size:10.0pt;color:blue'>is called at time 0, and > </span></fon=3D > > t><font > > size=3D3D1 color=3D3Dblue face=3D3DCourier><span > style=3D3D'font-size:9.0pt;font-fa=3D > > mily:Courier; > > color:blue'>y </span></font><font size=3D3D2 color=3D3Dblue><span > style=3D3D'font=3D > > -size: > > 10.0pt;color:blue'>is of type </span></font><b><font size=3D3D1 > color=3D3Dblue > > face=3D3D"Courier New"><span > style=3D3D'font-size:9.0pt;font-family:"Courier Ne=3D > > w"; > > color:blue;font-weight:bold'>logic</span></font></b><font size=3D3D2 > color=3D3D=3D > > blue><span > > style=3D3D'font-size:10.0pt;color:blue'>, the value returned is > </span></font=3D > > ><font > > size=3D3D1 color=3D3Dblue face=3D3DCourier><span > style=3D3D'font-size:9.0pt;font-fa=3D > > mily:Courier; > > color:blue'>X</span></font><font size=3D3D2 color=3D3Dblue><span > style=3D3D'font-=3D > > size:10.0pt; > > color:blue'>.<span dir=3D3DRTL></span><span lang=3D3DHE dir=3D3DRTL><span > dir=3D3DR=3D > > TL></span>"</span></span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'> </span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>A similar definition is provided > for o=3D > > ther > > sampled value functions.</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'> </span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>Regards,</span></font></p> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 color=3D3Dblue face=3D3DArial><sp= > an > style=3D > > =3D3D'font-size: > > 10.0pt;font-family:Arial;color:blue'>Dmitry</span></font></p> > >=20 > > <div> > >=20 > > <div class=3D3DMsoNormal align=3D3Dcenter > style=3D3D'text-align:center'><font siz=3D > > e=3D3D3 > > face=3D3D"Times New Roman"><span style=3D3D'font-size:12.0pt'> > >=20 > > <hr size=3D3D2 width=3D3D"100%" align=3D3Dcenter tabIndex=3D3D-1> > >=20 > > </span></font></div> > >=20 > > <p class=3D3DMsoNormal><b><font size=3D3D2 face=3D3DTahoma><span > style=3D3D'font-si=3D > > ze:10.0pt; > > font-family:Tahoma;font-weight:bold'>From:</span></font></b><font > size=3D3D2 > > face=3D3DTahoma><span style=3D3D'font-size:10.0pt;font-family:Tahoma'> > > owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] > <b><span > > style=3D3D'font-weight:bold'>On Behalf Of </span></b>danielm<br> > > <b><span style=3D3D'font-weight:bold'>Sent:</span></b> Thursday, > November 15,=3D > > 2007 > > 11:28 AM<br> > > <b><span style=3D3D'font-weight:bold'>To:</span></b> > sv-ac@server.eda-stds.or=3D > > g<br> > > <b><span style=3D3D'font-weight:bold'>Subject:</span></b> [sv-ac] > sampled ass=3D > > ertion > > function vs data types - refereing to prior > simulation</span></font></p> > >=20 > > </div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'> </span></font></p> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 face=3D3DArial><span > style=3D3D'font-size:1=3D > > 0.0pt; > > font-family:Arial'>Chapter 17.7.3 describes that value of sampled > function > > (sampled, past, stable) in time 0 should be equal X.</span></font></p> > >=20 > > </div> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'> </span></font></p> > >=20 > > </div> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 face=3D3DArial><span > style=3D3D'font-size:1=3D > > 0.0pt; > > font-family:Arial'>Is it so for all types of > variables?</span></font></p> > >=20 > > </div> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 face=3D3DArial><span > style=3D3D'font-size:1=3D > > 0.0pt; > > font-family:Arial'>For reg it is ok.</span></font></p> > >=20 > > </div> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 face=3D3DArial><span > style=3D3D'font-size:1=3D > > 0.0pt; > > font-family:Arial'>What about bit, wire, enum > etc....</span></font></p> > >=20 > > </div> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'> </span></font></p> > >=20 > > </div> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'> </span></font></p> > >=20 > > </div> > >=20 > > <div> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D2 face=3D3DArial><span > style=3D3D'font-size:1=3D > > 0.0pt; > > font-family:Arial'>DANiel</span></font></p> > >=20 > > </div> > >=20 > > <pre><font size=3D3D2 face=3D3D"Courier New"><span > style=3D3D'font-size:10.0pt'>-=3D > > > --------------------------------------------------------------------</sp > an>=3D > > </font></pre><pre><font > > size=3D3D2 face=3D3D"Courier New"><span style=3D3D'font-size:10.0pt'>Intel > Israel=3D > > (74) Limited</span></font></pre><pre><font size=3D3D2 face=3D3D"Courier > New"><=3D > > span > > style=3D3D'font-size:10.0pt'> </span></font></pre><pre><font > size=3D3D2 > > face=3D3D"Courier New"><span style=3D3D'font-size:10.0pt'>This e-mail and > any a=3D > > ttachments may contain confidential material > for</span></font></pre><pre><f=3D > > ont > > size=3D3D2 face=3D3D"Courier New"><span style=3D3D'font-size:10.0pt'>the > sole use=3D > > of the intended recipient(s). Any review or > distribution</span></font></pr=3D > > e><pre><font > > size=3D3D2 face=3D3D"Courier New"><span style=3D3D'font-size:10.0pt'>by > others is=3D > > strictly prohibited. If you are not the > intended</span></font></pre><pre><=3D > > font > > size=3D3D2 face=3D3D"Courier New"><span > style=3D3D'font-size:10.0pt'>recipient, p=3D > > lease contact the sender and delete all copies.</span></font></pre> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'><br> > > -- <br> > > This message has been scanned for viruses and <br> > > dangerous content by <a > href=3D3D"http://www.mailscanner.info/"></span></b><b=3D > > ><span > > style=3D3D'font-weight:bold'>MailScanner</a><b><span > style=3D3D'font-weight: > > bold'>, and is <br> > > believed to be clean. <br> > > -- <br> > > This message has been scanned for viruses and <br> > > dangerous content by <a > href=3D3D"http://www.mailscanner.info/">MailScanner</=3D > > a>, > > and is <br> > > believed to be clean. </span></b></span></font></p> > >=20 > > </blockquote> > >=20 > > <pre><font size=3D3D2 face=3D3D"Courier New"><span > style=3D3D'font-size:10.0pt'>-=3D > > > --------------------------------------------------------------------</sp > an>=3D > > </font></pre><pre><font > > size=3D3D2 face=3D3D"Courier New"><span style=3D3D'font-size:10.0pt'>Intel > Israel=3D > > (74) Limited</span></font></pre><pre><font size=3D3D2 face=3D3D"Courier > New"><=3D > > span > > style=3D3D'font-size:10.0pt'> </span></font></pre><pre><font > size=3D3D2 > > face=3D3D"Courier New"><span style=3D3D'font-size:10.0pt'>This e-mail and > any a=3D > > ttachments may contain confidential material > for</span></font></pre><pre><f=3D > > ont > > size=3D3D2 face=3D3D"Courier New"><span style=3D3D'font-size:10.0pt'>the > sole use=3D > > of the intended recipient(s). Any review or > distribution</span></font></pr=3D > > e><pre><font > > size=3D3D2 face=3D3D"Courier New"><span style=3D3D'font-size:10.0pt'>by > others is=3D > > strictly prohibited. If you are not the > intended</span></font></pre><pre><=3D > > font > > size=3D3D2 face=3D3D"Courier New"><span > style=3D3D'font-size:10.0pt'>recipient, p=3D > > lease contact the sender and delete all copies.</span></font></pre> > >=20 > > <p class=3D3DMsoNormal><font size=3D3D3 face=3D3D"Times New Roman"><span > style=3D3D=3D > > 'font-size: > > 12.0pt'><br> > > -- <br> > > This message has been scanned for viruses and <br> > > dangerous content by <a > href=3D3D"http://www.mailscanner.info/"></span></b><b=3D > > ><span > > style=3D3D'font-weight:bold'>MailScanner</a>, and is <br> > > believed to be clean. </span></font></p> > >=20 > > </div> > >=20 > > > <pre>------------------------------------------------------------------- > -- > > Intel Israel (74) Limited > >=20 > > This e-mail and any attachments may contain confidential material for > > the sole use of the intended recipient(s). Any review or distribution > > by others is strictly prohibited. If you are not the intended > > recipient, please contact the sender and delete all copies. > > </pre></body> > >=20 > > <br />--=3D20 > > <br />This message has been scanned for viruses and > > <br />dangerous content by > > <a href=3D3D"http://www.mailscanner.info/"><b>MailScanner</b></a>, and > is > > <br />believed to be clean. > > </html> > >=20 > > ------_=3D_NextPart_001_01C82778.E68ED9BC-- > > --=20 > This message has been scanned for viruses and > dangerous content by MailScanner, and is > believed to be clean. > --------------------------------------------------------------------- > Intel Israel (74) Limited > > This e-mail and any attachments may contain confidential material for > the sole use of the intended recipient(s). Any review or distribution > by others is strictly prohibited. If you are not the intended > recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Nov 19 09:52:46 2007
This archive was generated by hypermail 2.1.8 : Mon Nov 19 2007 - 09:53:09 PST