Should be 1'bx. Since r is unitialized, it is 1'bx. w is driven by r. Shalom > -----Original Message----- > From: John Havlicek [mailto:john.havlicek@freescale.com] > Sent: Monday, November 19, 2007 7:51 PM > To: Korchemny, Dmitry > Cc: john.havlicek@freescale.com; danielm@aldec.com.pl; > Bresticker, Shalom; sv-ac@eda-stds.org; sv-bc@eda.org > Subject: Re: [sv-ac] sampled assertion function vs data types > - refereing to prior simulation > > 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-bot > tom: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. > --------------------------------------------------------------------- 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:54:57 2007
This archive was generated by hypermail 2.1.8 : Mon Nov 19 2007 - 09:55:07 PST