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=r > initial begin > clk=1; > ..... > end > z:assert property(@(posedge clk) w===1'bz)); > x:assert property(@(posedge clk) w===1'bx)); > > 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? - 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 driver will default to 1'bx, not 1'bz. 10.3 says that the continuous assignment "w=r" 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.H. > X-Authentication-Warning: server.eda.org: majordom set sender to owner-sv-ac@eda.org using -f > X-ExtLoop1: 1 > X-IronPort-AV: E=Sophos;i="4.21,419,1188802800"; > d="scan'208,217";a="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: > X-MS-TNEF-Correlator: > 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=[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 > > This is a multi-part message in MIME format. > > ------_=_NextPart_001_01C82778.E68ED9BC > Content-Type: text/plain; charset="us-ascii" > Content-Transfer-Encoding: quoted-printable > > There should be the same principle here: > > =20 > > 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. (6.6) > > =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 > > Regards, > > Dmitry > > =20 > > ________________________________ > > From: danielm [mailto:danielm@aldec.com.pl]=20 > 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 > > exactly what about nets? > > what should happened if i've assertions like below: > > =20 > > 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? > > =20 > > DANiel > > ________________________________ > > 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 > > There are other types of data types besides variables. E.g., nets. > > =20 > > Shalom > > =09=20 > > =09 > ________________________________ > > > 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 > > Hi Daniel, > > =09=20 > > D4 draft contains the following definition in 16.8.3: > > =09=20 > > " The value of an expression sampled in the Preponed region > corresponding to time 0 is the result of evaluating > > the expression using the initial values of the variables > comprising the expression. The initial value of a > > static variable is the value assigned in its declaration, or, in > the absence of such an assignment, it is the > > default (or uninitialized) value of the corresponding type (see > 6.7, Table 6-1). The initial value of any other > > variable or signal is the default value of the corresponding > type (see 6.7, Table 6-1). For example, if $sampled( > > y) is called at time 0, and y is of type logic, the value > returned is X." > > =09=20 > > A similar definition is provided for other sampled value > functions. > > =09=20 > > Regards, > > Dmitry > > =09 > ________________________________ > > > 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 > > =09=20 > > Chapter 17.7.3 describes that value of sampled function > (sampled, past, stable) in time 0 should be equal X. > > =09=20 > > Is it so for all types of variables? > > For reg it is ok. > > What about bit, wire, enum etc.... > > =09=20 > > =09=20 > > DANiel > > =09 > --------------------------------------------------------------------- > Intel Israel (74) Limited > =09=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. > > =09 > --=20 > This message has been scanned for viruses and=20 > dangerous content by MailScanner <http://www.mailscanner.info/> > , and is=20 > believed to be clean.=20 > --=20 > This message has been scanned for viruses and=20 > dangerous content by MailScanner <http://www.mailscanner.info/> > , and is=20 > believed to be clean.=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 > This message has been scanned for viruses and=20 > dangerous content by MailScanner <http://www.mailscanner.info/> , and is > > believed to be clean.=20 > > --------------------------------------------------------------------- > 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. > > --=20 > This message has been scanned for viruses and > dangerous content by MailScanner, and is > believed to be clean. > > > ------_=_NextPart_001_01C82778.E68ED9BC > Content-Type: text/html; charset="us-ascii" > Content-Transfer-Encoding: quoted-printable > > <html> > > <head> > <meta http-equiv=3DContent-Type content=3D"text/html; charset=3Dus-ascii"> > <meta name=3DGenerator content=3D"Microsoft Word 11 (filtered)"> > > <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> > > </head> > > <body lang=3DEN-US link=3Dblue vlink=3Dpurple> > > <div class=3DSection1> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>There should be the same principle her= > e:</span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'> </span></font></p> > > <p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D2 > face=3D"Times New Roman"><span style=3D'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> > > <p class=3DMsoNormal><font size=3D2 face=3D"Times New Roman"><span style=3D= > 'font-size: > 10.0pt'>of their drivers. The </span></font><b><font size=3D1 face=3D"Couri= > er New"><span > style=3D'font-size:9.0pt;font-family:"Courier New";font-weight:bold'>trireg= > </span></font></b><font > size=3D2><span style=3D'font-size:10.0pt'>net is an exception. (6.6)</span>= > </font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'> </span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>In your example the assertion x should= > fail. > As for assertion z, it should not fail in simulation provided the clock does > not tick.</span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'> </span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>Regards,</span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>Dmitry</span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'> </span></font></p> > > <div> > > <div class=3DMsoNormal align=3Dcenter style=3D'text-align:center'><font siz= > e=3D3 > face=3D"Times New Roman"><span style=3D'font-size:12.0pt'> > > <hr size=3D2 width=3D"100%" align=3Dcenter tabindex=3D-1> > > </span></font></div> > > <p class=3DMsoNormal><b><font size=3D2 face=3DTahoma><span style=3D'font-si= > ze:10.0pt; > font-family:Tahoma;font-weight:bold'>From:</span></font></b><font size=3D2 > face=3DTahoma><span style=3D'font-size:10.0pt;font-family:Tahoma'> danielm > [mailto:danielm@aldec.com.pl] <br> > <b><span style=3D'font-weight:bold'>Sent:</span></b> Thursday, November 15,= > 2007 > 12:44 PM<br> > <b><span style=3D'font-weight:bold'>To:</span></b> Bresticker, Shalom; Korc= > hemny, > Dmitry; sv-ac@server.eda-stds.org<br> > <b><span style=3D'font-weight:bold'>Subject:</span></b> RE: [sv-ac] sampled > assertion function vs data types - refereing to prior simulation</span></fo= > nt></p> > > </div> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'> </span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>exactly what about nets?</span></font>= > </p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'> what should happened if i've > assertions like below:</span></font></p> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'> </span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>reg clk;</span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>wire w;</span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>reg r;</span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>assign w=3Dr</span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>initial begin</span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'> clk=3D1;</span></fo= > nt></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>.....</span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>end</span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>z:assert property(@(posedge clk) > w=3D=3D=3D1'bz));</span></font></p> > > <div> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>x:assert property(@(posedge clk) > w=3D=3D=3D1'bx));</span></font></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'> </span></font></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>Which from above should fail?</span></= > font></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'> </span></font></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>DANiel</span></font></p> > > </div> > > <div class=3DMsoNormal align=3Dcenter style=3D'text-align:center'><font siz= > e=3D3 > face=3D"Times New Roman"><span style=3D'font-size:12.0pt'> > > <hr size=3D2 width=3D"100%" align=3Dcenter tabIndex=3D-1> > > </span></font></div> > > <p class=3DMsoNormal style=3D'margin-bottom:12.0pt'><b><font size=3D2 face= > =3DTahoma><span > style=3D'font-size:10.0pt;font-family:Tahoma;font-weight:bold'>From:</sp an>= > </font></b><font > size=3D2 face=3DTahoma><span style=3D'font-size:10.0pt;font-family:Tahoma'> > owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] <b><span > style=3D'font-weight:bold'>On Behalf Of </span></b>Bresticker, Shalom<br> > <b><span style=3D'font-weight:bold'>Sent:</span></b> Thursday, November 15,= > 2007 > 10:43 AM<br> > <b><span style=3D'font-weight:bold'>To:</span></b> Korchemny, Dmitry; > sv-ac@server.eda-stds.org<br> > <b><span style=3D'font-weight:bold'>Subject:</span></b> RE: [sv-ac] sampled > assertion function vs data types - refereing to prior simulation</span></fo= > nt></p> > > <div> > > <p class=3DMsoNormal><font size=3D4 color=3Dblue face=3D"Times New Roman"><= > span > style=3D'font-size:13.5pt;color:blue'>There are other types of data types b= > esides > variables. E.g., nets.</span></font></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'> </span></font></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D4 color=3Dblue face=3D"Times New Roman"><= > span > style=3D'font-size:13.5pt;color:blue'>Shalom</span></font></p> > > </div> > > <blockquote style=3D'border:none;border-left:solid blue 1.0pt;padding:0in 0= > in 0in 2.0pt; > margin-left:2.4pt;margin-top:5.0pt;margin-right:0in;margin-bottom:5.0pt' > > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'> </span></font></p> > > <div class=3DMsoNormal align=3Dcenter style=3D'text-align:center'><font siz= > e=3D3 > face=3D"Times New Roman"><span style=3D'font-size:12.0pt'> > > <hr size=3D2 width=3D"100%" align=3Dcenter tabIndex=3D-1> > > </span></font></div> > > <p class=3DMsoNormal style=3D'margin-bottom:12.0pt'><b><font size=3D2 face= > =3DTahoma><span > style=3D'font-size:10.0pt;font-family:Tahoma;font-weight:bold'>From:</sp an>= > </font></b><font > size=3D2 face=3DTahoma><span style=3D'font-size:10.0pt;font-family:Tahoma'>= > owner-sv-ac@server.eda.org > [mailto:owner-sv-ac@server.eda.org] <b><span style=3D'font-weight:bold'>On = > Behalf > Of </span></b>Korchemny, Dmitry<br> > <b><span style=3D'font-weight:bold'>Sent:</span></b> Thursday, November 15,= > 2007 > 11:34 AM<br> > <b><span style=3D'font-weight:bold'>To:</span></b> danielm; > sv-ac@server.eda-stds.org<br> > <b><span style=3D'font-weight:bold'>Subject:</span></b> RE: [sv-ac] sampled > assertion function vs data types - refereing to prior simulation</span></fo= > nt></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>Hi Daniel,</span></font></p> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'> </span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>D4 draft contains the following defini= > tion > in 16.8.3:</span></font></p> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'> </span></font></p> > > <p class=3DMsoNormal><span dir=3DRTL></span><font size=3D2 color=3Dblue fac= > e=3DArial><span > lang=3DHE dir=3DRTL style=3D'font-size:10.0pt;font-family:Arial;color:blue'= > ><span > dir=3DRTL></span>"</span></font><span dir=3DLTR></span><font size=3D2 > color=3Dblue><span lang=3DHE style=3D'font-size:10.0pt;color:blue'><span di= > r=3DLTR></span> > </span></font><font size=3D2 color=3Dblue><span style=3D'font-size:10.0pt;c= > olor:blue'>The > value of an expression sampled in the Preponed region corresponding to time= > 0 > is the result of evaluating</span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3D"Times New Roman"><= > span > style=3D'font-size:10.0pt;color:blue'>the expression using the initial valu= > es of > the variables comprising the expression. The initial value of a</span></fon= > t></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3D"Times New Roman"><= > span > style=3D'font-size:10.0pt;color:blue'>static variable is the value assigned= > in > its declaration, or, in the absence of such an assignment, it is the</span>= > </font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3D"Times New Roman"><= > span > style=3D'font-size:10.0pt;color:blue'>default (or uninitialized) value of t= > he > corresponding type (see 6.7, Table 6-1). The initial value of any other</sp= > an></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3D"Times New Roman"><= > span > style=3D'font-size:10.0pt;color:blue'>variable or signal is the default val= > ue of > the corresponding type (see 6.7, Table 6-1). For example, if </span></font>= > <font > size=3D1 color=3Dblue face=3DCourier><span style=3D'font-size:9.0pt;font-fa= > mily:Courier; > color:blue'>$sampled(</span></font></p> > > <p class=3DMsoNormal><font size=3D1 color=3Dblue face=3DCourier><span style= > =3D'font-size: > 9.0pt;font-family:Courier;color:blue'>y) </span></font><font size=3D2 color= > =3Dblue><span > style=3D'font-size:10.0pt;color:blue'>is called at time 0, and </span></fon= > t><font > size=3D1 color=3Dblue face=3DCourier><span style=3D'font-size:9.0pt;font-fa= > mily:Courier; > color:blue'>y </span></font><font size=3D2 color=3Dblue><span style=3D'font= > -size: > 10.0pt;color:blue'>is of type </span></font><b><font size=3D1 color=3Dblue > face=3D"Courier New"><span style=3D'font-size:9.0pt;font-family:"Courier Ne= > w"; > color:blue;font-weight:bold'>logic</span></font></b><font size=3D2 color=3D= > blue><span > style=3D'font-size:10.0pt;color:blue'>, the value returned is </span></font= > ><font > size=3D1 color=3Dblue face=3DCourier><span style=3D'font-size:9.0pt;font-fa= > mily:Courier; > color:blue'>X</span></font><font size=3D2 color=3Dblue><span style=3D'font-= > size:10.0pt; > color:blue'>.<span dir=3DRTL></span><span lang=3DHE dir=3DRTL><span dir=3DR= > TL></span>"</span></span></font></p> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'> </span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>A similar definition is provided for o= > ther > sampled value functions.</span></font></p> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'> </span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>Regards,</span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblue face=3DArial><span style= > =3D'font-size: > 10.0pt;font-family:Arial;color:blue'>Dmitry</span></font></p> > > <div> > > <div class=3DMsoNormal align=3Dcenter style=3D'text-align:center'><font siz= > e=3D3 > face=3D"Times New Roman"><span style=3D'font-size:12.0pt'> > > <hr size=3D2 width=3D"100%" align=3Dcenter tabIndex=3D-1> > > </span></font></div> > > <p class=3DMsoNormal><b><font size=3D2 face=3DTahoma><span style=3D'font-si= > ze:10.0pt; > font-family:Tahoma;font-weight:bold'>From:</span></font></b><font size=3D2 > face=3DTahoma><span style=3D'font-size:10.0pt;font-family:Tahoma'> > owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] <b><span > style=3D'font-weight:bold'>On Behalf Of </span></b>danielm<br> > <b><span style=3D'font-weight:bold'>Sent:</span></b> Thursday, November 15,= > 2007 > 11:28 AM<br> > <b><span style=3D'font-weight:bold'>To:</span></b> sv-ac@server.eda-stds.or= > g<br> > <b><span style=3D'font-weight:bold'>Subject:</span></b> [sv-ac] sampled ass= > ertion > function vs data types - refereing to prior simulation</span></font></p> > > </div> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'> </span></font></p> > > <div> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 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> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'> </span></font></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>Is it so for all types of variables?</span></font></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>For reg it is ok.</span></font></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>What about bit, wire, enum etc....</span></font></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'> </span></font></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'> </span></font></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>DANiel</span></font></p> > > </div> > > <pre><font size=3D2 face=3D"Courier New"><span style=3D'font-size:10.0pt'>-= > --------------------------------------------------------------------</sp an>= > </font></pre><pre><font > size=3D2 face=3D"Courier New"><span style=3D'font-size:10.0pt'>Intel Israel= > (74) Limited</span></font></pre><pre><font size=3D2 face=3D"Courier New"><= > span > style=3D'font-size:10.0pt'> </span></font></pre><pre><font size=3D2 > face=3D"Courier New"><span style=3D'font-size:10.0pt'>This e-mail and any a= > ttachments may contain confidential material for</span></font></pre><pre><f= > ont > size=3D2 face=3D"Courier New"><span style=3D'font-size:10.0pt'>the sole use= > of the intended recipient(s). Any review or distribution</span></font></pr= > e><pre><font > size=3D2 face=3D"Courier New"><span style=3D'font-size:10.0pt'>by others is= > strictly prohibited. If you are not the intended</span></font></pre><pre><= > font > size=3D2 face=3D"Courier New"><span style=3D'font-size:10.0pt'>recipient, p= > lease contact the sender and delete all copies.</span></font></pre> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'><br> > -- <br> > This message has been scanned for viruses and <br> > dangerous content by <a href=3D"http://www.mailscanner.info/"></span></b><b= > ><span > style=3D'font-weight:bold'>MailScanner</a><b><span style=3D'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=3D"http://www.mailscanner.info/">MailScanner</= > a>, > and is <br> > believed to be clean. </span></b></span></font></p> > > </blockquote> > > <pre><font size=3D2 face=3D"Courier New"><span style=3D'font-size:10.0pt'>-= > --------------------------------------------------------------------</sp an>= > </font></pre><pre><font > size=3D2 face=3D"Courier New"><span style=3D'font-size:10.0pt'>Intel Israel= > (74) Limited</span></font></pre><pre><font size=3D2 face=3D"Courier New"><= > span > style=3D'font-size:10.0pt'> </span></font></pre><pre><font size=3D2 > face=3D"Courier New"><span style=3D'font-size:10.0pt'>This e-mail and any a= > ttachments may contain confidential material for</span></font></pre><pre><f= > ont > size=3D2 face=3D"Courier New"><span style=3D'font-size:10.0pt'>the sole use= > of the intended recipient(s). Any review or distribution</span></font></pr= > e><pre><font > size=3D2 face=3D"Courier New"><span style=3D'font-size:10.0pt'>by others is= > strictly prohibited. If you are not the intended</span></font></pre><pre><= > font > size=3D2 face=3D"Courier New"><span style=3D'font-size:10.0pt'>recipient, p= > lease contact the sender and delete all copies.</span></font></pre> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: > 12.0pt'><br> > -- <br> > This message has been scanned for viruses and <br> > dangerous content by <a href=3D"http://www.mailscanner.info/"></span></b><b= > ><span > style=3D'font-weight:bold'>MailScanner</a>, and is <br> > believed to be clean. </span></font></p> > > </div> > > <pre>------------------------------------------------------------------- -- > 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. > </pre></body> > > <br />--=20 > <br />This message has been scanned for viruses and > <br />dangerous content by > <a href=3D"http://www.mailscanner.info/"><b>MailScanner</b></a>, and is > <br />believed to be clean. > </html> > > ------_=_NextPart_001_01C82778.E68ED9BC-- -- 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:15:31 2007
This archive was generated by hypermail 2.1.8 : Mon Nov 19 2007 - 09:15:42 PST