Hi Lisa: I believe that I was responsible for at least some, if not all, of this wording. It was crafted with care, but that does not mean it is immediately transparent. I agree with your analysis of the example and how the rules are satsified for the event (sub)expression "posedge clock iff reset == 0". Regarding your question, > I guess the real question is whether (event1 or event2) is viewed > as one event or two events. my point of view is that event1 event2 event1 or event2 are all event expressions. "event1" and "event2" are both proper subexpressions of "event1 or event2". J.H. > X-eda.org-MailScanner-Watermark: 1230611613.54255@ZspKsjkOWGGgB7Ig22Jp1w > X-Authentication-Warning: server.eda.org: majordom set sender to owner-sv-sc@eda.org using -f > X-eda.org-MailScanner-Watermark: 1230611571.87703@xliIZhfjJlguKbayGcYHyA > From: "Lisa Piper" <ljpiper619@aol.com> > Date: Mon, 22 Dec 2008 23:32:19 -0500 > Thread-Index: AclazyHdlr61co+jTKSeK+Ynm4j8QgACoTDQAmGQ3fAAFYWOkA== > X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.5579 > X-AOL-IP: 70.62.109.210 > X-Spam-Flag: NO > 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-sc@eda.org > X-eda.org-MailScanner-Information: Please contact the ISP for more information > X-MailScanner-ID: mBN4XVRT005818 > X-eda.org-MailScanner-From: owner-sv-sc@server.eda.org > X-OriginalArrivalTime: 23 Dec 2008 04:34:01.0816 (UTC) FILETIME=[AE058580:01C964B7] > > > ------=_NextPart_000_0045_01C9648D.88410A60 > Content-Type: text/plain; > charset="us-ascii" > Content-Transfer-Encoding: 7bit > > Hi Mike, > > > > I agree that this example is confusing. There are two event expressions, > but the second event expression uses reset which appears in the body(and > therefore violates 3b), so there is only one event expression that meets 3a > AND 3b. I guess the real question is whether (event1 or event2) is viewed > as one event or two events. I personally think this is too complex to > expect the tool to extract the clock though. > > > > Lisa > > > > _____ > > From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On > Behalf Of Mirek Forczek > Sent: Monday, December 22, 2008 1:26 PM > To: sv-ac@server.eda.org; sv-sc@server.eda.org > Subject: [sv-ac] assertion clock inferrence example with comment contradicts > the given rules ? > > > > Hi, > > > > I've noticed a following issue in 16.15.6 Embedding concurrent assertions in > procedural code: > > > > There are assertion clock inferrence rules given: > > > > A clock shall be inferred for the context of an always or initial procedure > that satisfies the following requirements: > > 1) There is no blocking timing control in the procedure. > > 2) There is exactly one event control in the procedure. > > 3) Within the event control of the procedure, there is exactly one event > expression that satisfies both of > > the following conditions: > > a) The event expression is of the form edge_identifier expression1 [ iff > expression2 ] and is not a > > proper subexpression of an event expression of this form. > > b) No term in expression1 appears anywhere else in the body of the > procedure. > > > > and an example with comment: > > > > Another, more complex example that is legal is as follows: > > property r3; > > (q != d); > > endproperty > > always_ff @(posedge clock iff reset == 0 or posedge reset) begin > > r1 <= reset ? 0 : r1 + 1; > > q <= $past(d1); > > r3_p: assert property (r3); > > end > > > > In the example above, the inferred clock is posedge clock iff reset == 0. > The inferred clock is not > > posedge clock because posedge clock is a proper subexpression of posedge > clock iff > > reset == 0. > > > > But the event control in example: @(posedge clock iff reset == 0 or posedge > reset) seems to violate: > > - rule 3) in general: "there is exactly one event expression" - here we have > 2 event expressions ("posedge clock iff reset == 0" and "posedge reset") I > guess, otherwise what would be an example of more than one event expressions > that would violate the rule ? > > - and in particular: rule 3a): the event expression here is more complex > (includes "or" operator) and thus it does not fit the "edge_identifier > expression1 [ iff expression2 ]" form. > > Considering above: no clock shall be inferred in the example or the example > code shall be changed (?). > > > > Regards, > > Mirek > > > > > > > > > -- > This message has been scanned for viruses and > dangerous content by <http://www.mailscanner.info/> MailScanner, and is > believed to be clean. > > -- > This message has been scanned for viruses and > dangerous content by MailScanner, and is > believed to be clean. > > > ------=_NextPart_000_0045_01C9648D.88410A60 > Content-Type: text/html; > charset="us-ascii" > Content-Transfer-Encoding: quoted-printable > > <html xmlns:v=3D"urn:schemas-microsoft-com:vml" xmlns:o=3D"urn:schemas-micr= > osoft-com:office:office" xmlns:w=3D"urn:schemas-microsoft-com:office:word" = > xmlns=3D"http://www.w3.org/TR/REC-html40"> > > <head> > <meta http-equiv=3DContent-Type content=3D"text/html; charset=3Dus-ascii"> > <meta name=3DGenerator content=3D"Microsoft Word 11 (filtered medium)"> > <!--[if !mso]> > <style> > v\:* {behavior:url(#default#VML);} > o\:* {behavior:url(#default#VML);} > w\:* {behavior:url(#default#VML);} > .shape {behavior:url(#default#VML);} > </style> > <![endif]--> > <style> > <!-- > /* Font Definitions */ > @font-face > {font-family:Tahoma; > panose-1:2 11 6 4 3 5 4 4 2 4;} > @font-face > {font-family:CourierNewPS-BoldMT;} > @font-face > {font-family:TimesNewRomanPSMT; > panose-1:0 0 0 0 0 0 0 0 0 0;} > @font-face > {font-family:TimesNewRomanPS-ItalicMT; > 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;} > p > {mso-margin-top-alt:auto; > margin-right:0in; > mso-margin-bottom-alt:auto; > margin-left:0in; > font-size:12.0pt; > font-family:"Times New Roman";} > span.EmailStyle17 > {mso-style-type:personal; > font-family:Arial; > color:windowtext;} > span.EmailStyle18 > {mso-style-type:personal; > font-family:Arial; > color:navy;} > span.EmailStyle21 > {mso-style-type:personal-reply; > font-family:Arial; > color:navy;} > @page Section1 > {size:8.5in 11.0in; > 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=3Dnavy face=3DArial><span style= > =3D'font-size: 10.0pt;font-family:Arial;color:navy'>Hi Mike,<o:p></o:p></sp= > an></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span style= > =3D'font-size: 10.0pt;font-family:Arial;color:navy'><o:p> </o:p></span= > ></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span style= > =3D'font-size: 10.0pt;font-family:Arial;color:navy'>I agree that this examp= > le is > confusing. There are two event expressions, but the second event > expression uses reset which appears in the body(and therefore violates 3b),= > so > there is only one event expression that meets 3a AND 3b. I guess > the real question is whether (event1 or event2) is viewed as one event or t= > wo > events. I personally think this is too complex to expect the tool to > extract the clock though. <o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span style= > =3D'font-size: 10.0pt;font-family:Arial;color:navy'><o:p> </o:p></span= > ></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span style= > =3D'font-size: 10.0pt;font-family:Arial;color:navy'>Lisa<o:p></o:p></span><= > /font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dnavy face=3DArial><span style= > =3D'font-size: 10.0pt;font-family:Arial;color:navy'><o:p> </o:p></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><fon= > t 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 sty= > le=3D'font-weight:bold'>On Behalf Of </span></b>Mirek Forczek<br> > <b><span style=3D'font-weight:bold'>Sent:</span></b> Monday, December 22, 2= > 008 > 1:26 PM<br> > <b><span style=3D'font-weight:bold'>To:</span></b> sv-ac@server.eda.org; > sv-sc@server.eda.org<br> > <b><span style=3D'font-weight:bold'>Subject:</span></b> [sv-ac] assertion c= > lock > inferrence example with comment contradicts the given rules ?</span></font>= > <o:p></o:p></p> > > </div> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: 12.0pt'><o:p> </o:p></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'>Hi,</span></font> = > <font size=3D2 color=3Dblue face=3DArial><span style=3D'font-size:10.0pt;fo= > nt-family:Arial; color:blue'> </span></font><o:p></o:p></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: 12.0pt'> <o:p></o:p></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'>I've noticed a fol= > lowing issue in > 16.15.6 Embedding concurrent assertions in procedural code:</span></font><o= > :p></o:p></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: 12.0pt'> <o:p></o:p></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'>There are assertion clo= > ck inferrence rules > given: </span></font> <o:p></o:p></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span style=3D= > 'font-size: 12.0pt'> <o:p></o:p></span></font></p> > > </div> > > <div> > > <p><font size=3D2 face=3DTimesNewRomanPSMT><span style=3D'font-size:10.0pt;= > font-family:TimesNewRomanPSMT'>A clock shall be inferred for the context o= > f an > always or initial procedure that satisfies the following requirements:<o:p>= > </o:p></span></font></p> > > <p><font size=3D2 face=3DTimesNewRomanPSMT><span style=3D'font-size:10.0pt;= > font-family:TimesNewRomanPSMT'>1) There is no blocking timing control in t= > he > procedure.<o:p></o:p></span></font></p> > > <p><font size=3D2 face=3DTimesNewRomanPSMT><span style=3D'font-size:10.0pt;= > font-family:TimesNewRomanPSMT'>2) There is exactly one event control in the > procedure.<o:p></o:p></span></font></p> > > <p><font size=3D2 face=3DTimesNewRomanPSMT><span style=3D'font-size:10.0pt;= > font-family:TimesNewRomanPSMT'>3) Within the event control of the procedur= > e, > there is exactly one event expression that satisfies both of<o:p></o:p></sp= > an></font></p> > > <p><font size=3D2 face=3DTimesNewRomanPSMT><span style=3D'font-size:10.0pt;= > font-family:TimesNewRomanPSMT'>the following conditions:<o:p></o:p></span>= > </font></p> > > <p><font size=3D2 face=3DTimesNewRomanPSMT><span style=3D'font-size:10.0pt;= > font-family:TimesNewRomanPSMT'>a) The event expression is of the form </sp= > an></font><i><font size=3D2 face=3DTimesNewRomanPS-ItalicMT><span style=3D'= > font-size:10.0pt;font-family: TimesNewRomanPS-ItalicMT;font-style:italic'>e= > dge_identifier expression1 </span></font></i><font size=3D2 face=3DTimesNew= > RomanPSMT><span style=3D'font-size:10.0pt;font-family:TimesNewRomanPSMT'>[ > </span></font><b><font size=3D1 face=3DCourierNewPS-BoldMT><span style=3D'f= > ont-size: 7.5pt;font-family:CourierNewPS-BoldMT;font-weight:bold'>iff </spa= > n></font></b><i><font size=3D2 face=3DTimesNewRomanPS-ItalicMT><span style= > =3D'font-size:10.0pt;font-family: TimesNewRomanPS-ItalicMT;font-style:itali= > c'>expression2 </span></font></i><font size=3D2 face=3DTimesNewRomanPSMT><s= > pan style=3D'font-size:10.0pt;font-family:TimesNewRomanPSMT'>] > and is not a</span></font><font face=3DTimesNewRomanPSMT><span style=3D'fon= > t-family: TimesNewRomanPSMT'><o:p></o:p></span></font></p> > > <p><font size=3D2 face=3DTimesNewRomanPSMT><span style=3D'font-size:10.0pt;= > font-family:TimesNewRomanPSMT'>proper subexpression of an event expression= > of > this form.</span></font><font face=3DTimesNewRomanPSMT><span style=3D'font-= > family: TimesNewRomanPSMT'><o:p></o:p></span></font></p> > > <p><font size=3D2 face=3DTimesNewRomanPSMT><span style=3D'font-size:10.0pt;= > font-family:TimesNewRomanPSMT'>b) No term in expression1 appears anywhere = > else > in the body of the procedure.</span></font><font face=3DTimesNewRomanPSMT><= > span style=3D'font-family:TimesNewRomanPSMT'><o:p></o:p></span></font></p> > > <p><font size=3D3 face=3DTimesNewRomanPSMT><span style=3D'font-size:12.0pt;= > font-family:TimesNewRomanPSMT'> <o:p></o:p></span></font></p> > > <p><font size=3D2 color=3Dblue face=3DArial><span style=3D'font-size:10.0pt= > ;font-family: Arial;color:blue'>and an example with comment:</span></font><= > font face=3DTimesNewRomanPSMT><span style=3D'font-family:TimesNewRomanPSMT'= > ><o:p></o:p></span></font></p> > > <p><font size=3D3 face=3DTimesNewRomanPSMT><span style=3D'font-size:12.0pt;= > font-family:TimesNewRomanPSMT'> <o:p></o:p></span></font></p> > > <p><font size=3D2 color=3Dblack face=3DArial><span style=3D'font-size:10.0p= > t; font-family:Arial;color:black'>Another, more complex example that is leg= > al is > as follows:<o:p></o:p></span></font></p> > > <p><b><font size=3D1 color=3Dblack face=3DArial><span style=3D'font-size:7.= > 5pt; font-family:Arial;color:black;font-weight:bold'>property </span></font= > ></b><font size=3D1 color=3Dblack face=3DArial><span style=3D'font-size:7.5= > pt;font-family:Arial; color:black'>r3;</span></font><font size=3D1 color=3D= > blue face=3DTimesNewRomanPSMT><span style=3D'font-size:7.5pt;font-family:Ti= > mesNewRomanPSMT;color:blue'><o:p></o:p></span></font></p> > > <p><font size=3D1 color=3Dblack face=3DArial><span style=3D'font-size:7.5pt= > ;font-family: Arial;color:black'>(q !=3D d);</span></font><font size=3D1 co= > lor=3Dblue face=3DTimesNewRomanPSMT><span style=3D'font-size:7.5pt;font-fam= > ily:TimesNewRomanPSMT; color:blue'><o:p></o:p></span></font></p> > > <p><b><font size=3D1 color=3Dblack face=3DArial><span style=3D'font-size:7.= > 5pt; font-family:Arial;color:black;font-weight:bold'>endproperty</span></fo= > nt></b><b><font size=3D1 color=3Dblue face=3DTimesNewRomanPSMT><span style= > =3D'font-size:7.5pt; font-family:TimesNewRomanPSMT;color:blue;font-weight:b= > old'><o:p></o:p></span></font></b></p> > > <p><b><font size=3D1 color=3Dblack face=3DArial><span style=3D'font-size:7.= > 5pt; font-family:Arial;color:black;font-weight:bold'>always_ff </span></fon= > t></b><font size=3D1 color=3Dblack face=3DArial><span style=3D'font-size:7.= > 5pt;font-family:Arial; color:black'>@(<b><span style=3D'font-weight:bold'>p= > osedge </span></b>clock <b><span style=3D'font-weight:bold'>iff </span></b>= > reset =3D=3D 0 or <b><span style=3D'font-weight:bold'>posedge </span></b>re= > set) <b><span style=3D'font-weight: bold'>begin<o:p></o:p></span></b></span= > ></font></p> > > <p><font size=3D1 color=3Dblack face=3DArial><span style=3D'font-size:7.5pt= > ;font-family: Arial;color:black'>r1 <=3D reset ? 0 : r1 + 1;</span></fon= > t><font size=3D1 color=3Dblue face=3DTimesNewRomanPSMT><span style=3D'font-= > size:7.5pt;font-family: TimesNewRomanPSMT;color:blue'><o:p></o:p></span></f= > ont></p> > > <p><font size=3D1 color=3Dblack face=3DArial><span style=3D'font-size:7.5pt= > ;font-family: Arial;color:black'>q <=3D $past(d1);</span></font><font si= > ze=3D1 color=3Dblue face=3DTimesNewRomanPSMT><span style=3D'font-size:7.5pt= > ;font-family:TimesNewRomanPSMT; color:blue'><o:p></o:p></span></font></p> > > <p><font size=3D1 color=3Dblack face=3DArial><span style=3D'font-size:7.5pt= > ;font-family: Arial;color:black'>r3_p: <b><span style=3D'font-weight:bold'>= > assert property </span></b>(r3);</span></font><font size=3D1 color=3Dblue f= > ace=3DTimesNewRomanPSMT><span style=3D'font-size:7.5pt; font-family:TimesNe= > wRomanPSMT;color:blue'><o:p></o:p></span></font></p> > > <p><strong><b><font size=3D1 color=3Dblack face=3DArial><span style=3D'font= > -size:7.5pt; font-family:Arial;color:black'>end</span></font></b></strong><= > font size=3D1 color=3Dblue face=3DTimesNewRomanPSMT><span style=3D'font-siz= > e:7.5pt;font-family: TimesNewRomanPSMT;color:blue'><o:p></o:p></span></font= > ></p> > > <p><font size=3D1 color=3Dblue face=3DTimesNewRomanPSMT><span style=3D'font= > -size:7.5pt; font-family:TimesNewRomanPSMT;color:blue'> <o:p></o:p></s= > pan></font></p> > > <p><font size=3D2 color=3Dblack face=3DArial><span style=3D'font-size:10.0p= > t; font-family:Arial;color:black'>In the example above, the inferred clock = > is </span></font><b><font size=3D1 color=3Dblack face=3DArial><span style= > =3D'font-size:7.5pt;font-family:Arial; color:black;font-weight:bold'>posedg= > e </span></font></b><font size=3D1 color=3Dblack face=3DArial><span style= > =3D'font-size:7.5pt;font-family:Arial; color:black'>clock <b><span style=3D= > 'font-weight:bold'>iff </span></b>reset =3D=3D 0</span></font><font size=3D= > 2 color=3Dblack face=3DArial><span style=3D'font-size:10.0pt;font-family:Ar= > ial; color:black'>. The inferred clock is not<o:p></o:p></span></font></p> > > <p><b><font size=3D1 color=3Dblack face=3DArial><span style=3D'font-size:7.= > 5pt; font-family:Arial;color:black;font-weight:bold'>posedge </span></font>= > </b><font size=3D1 color=3Dblack face=3DArial><span style=3D'font-size:7.5p= > t;font-family:Arial; color:black'>clock </span></font><font size=3D2 color= > =3Dblack face=3DArial><span style=3D'font-size:10.0pt;font-family:Arial;col= > or:black'>because </span></font><b><font size=3D1 color=3Dblack face=3DAria= > l><span style=3D'font-size:7.5pt;font-family:Arial; color:black;font-weight= > :bold'>posedge </span></font></b><font size=3D1 color=3Dblack face=3DArial>= > <span style=3D'font-size:7.5pt;font-family:Arial; color:black'>clock </span= > ></font><font size=3D2 color=3Dblack face=3DArial><span style=3D'font-size:= > 10.0pt;font-family:Arial;color:black'>is a proper > subexpression of </span></font><b><font size=3D1 color=3Dblack face=3DArial= > ><span style=3D'font-size:7.5pt;font-family:Arial;color:black;font-weight:b= > old'>posedge </span></font></b><font size=3D1 color=3Dblack face=3DArial><s= > pan style=3D'font-size:7.5pt;font-family:Arial; color:black'>clock <b><span= > style=3D'font-weight:bold'>iff<o:p></o:p></span></b></span></font></p> > > <p><font size=3D1 color=3Dblack face=3DArial><span style=3D'font-size:7.5pt= > ;font-family: Arial;color:black'>reset =3D=3D 0</span></font><font size=3D2= > color=3Dblack face=3DArial><span style=3D'font-size:10.0pt;font-family:Ari= > al;color:black'>.</span></font><font size=3D1 color=3Dblue face=3DTimesNewR= > omanPSMT><span style=3D'font-size:7.5pt; font-family:TimesNewRomanPSMT;colo= > r:blue'><o:p></o:p></span></font></p> > > <p><font size=3D1 color=3Dblue face=3DTimesNewRomanPSMT><span style=3D'font= > -size:7.5pt; font-family:TimesNewRomanPSMT;color:blue'> <o:p></o:p></s= > pan></font></p> > > <p><font size=3D2 color=3Dblue face=3DArial><span style=3D'font-size:10.0pt= > ;font-family: Arial;color:blue'>But the event control in example: </sp= > an></font><font size=3D2 color=3Dblack face=3DArial><span style=3D'font-siz= > e:10.0pt;font-family:Arial; color:black'>@(<b><span style=3D'font-weight:bo= > ld'>posedge </span></b>clock <b><span style=3D'font-weight:bold'>iff </span= > ></b>reset =3D=3D 0 or <b><span style=3D'font-weight:bold'>posedge </span><= > /b>reset) </span></font><font size=3D2 color=3Dblue face=3DArial><span= > style=3D'font-size:10.0pt;font-family:Arial; color:blue'> seems to vi= > olate:</span></font><font size=3D1 color=3Dblue face=3DTimesNewRomanPSMT><s= > pan style=3D'font-size:7.5pt;font-family:TimesNewRomanPSMT; color:blue'><o:= > p></o:p></span></font></p> > > <p><font size=3D2 color=3Dblue face=3DArial><span style=3D'font-size:10.0pt= > ;font-family: Arial;color:blue'>- rule 3) in general: "there is e= > xactly one event > expression" - here we have 2 event expressions ("posedge clock iff > reset =3D=3D 0" and "posedge reset") I guess, otherwise what= > would > be an example of more than one event expressions that would violate the rul= > e ?</span></font><font size=3D1 color=3Dblue face=3DTimesNewRomanPSMT><span= > style=3D'font-size:7.5pt; font-family:TimesNewRomanPSMT;color:blue'><o:p><= > /o:p></span></font></p> > > <p><font size=3D2 color=3Dblue face=3DArial><span style=3D'font-size:10.0pt= > ;font-family: Arial;color:blue'>- and in particular: rule 3a): the event ex= > pression here is > more complex (includes "or" operator) and thus it does not fit the > "edge_identifier expression1 [ iff expression2 ]" form.</span></f= > ont><font size=3D1 color=3Dblue face=3DTimesNewRomanPSMT><span style=3D'fon= > t-size:7.5pt; font-family:TimesNewRomanPSMT;color:blue'><o:p></o:p></span><= > /font></p> > > <p><font size=3D2 color=3Dblue face=3DArial><span style=3D'font-size:10.0pt= > ;font-family: Arial;color:blue'>Considering above: no clock shall be inferr= > ed in the example > or the example code shall be changed (?).</span></font><font size=3D1 color= > =3Dblue face=3DTimesNewRomanPSMT><span style=3D'font-size:7.5pt;font-family= > :TimesNewRomanPSMT; color:blue'><o:p></o:p></span></font></p> > > <p><font size=3D1 color=3Dblue face=3DTimesNewRomanPSMT><span style=3D'font= > -size:7.5pt; font-family:TimesNewRomanPSMT;color:blue'> <o:p></o:p></s= > pan></font></p> > > <p><font size=3D2 color=3Dblue face=3DArial><span style=3D'font-size:10.0pt= > ;font-family: Arial;color:blue'>Regards,</span></font><font size=3D1 color= > =3Dblue face=3DTimesNewRomanPSMT><span style=3D'font-size:7.5pt;font-family= > :TimesNewRomanPSMT; color:blue'><o:p></o:p></span></font></p> > > <p><font size=3D2 color=3Dblue face=3DArial><span style=3D'font-size:10.0pt= > ;font-family: Arial;color:blue'>Mirek</span></font><font size=3D1 color=3Db= > lue face=3DTimesNewRomanPSMT><span style=3D'font-size:7.5pt;font-family:Tim= > esNewRomanPSMT; color:blue'><o:p></o:p></span></font></p> > > <p><font size=3D1 color=3Dblue face=3DTimesNewRomanPSMT><span style=3D'font= > -size:7.5pt; font-family:TimesNewRomanPSMT;color:blue'> <o:p></o:p></s= > pan></font></p> > > <p><font size=3D1 color=3Dblue face=3DTimesNewRomanPSMT><span style=3D'font= > -size:7.5pt; font-family:TimesNewRomanPSMT;color:blue'> <o:p></o:p></s= > pan></font></p> > > <p><font size=3D2 color=3Dblue face=3DArial><span style=3D'font-size:10.0pt= > ;font-family: Arial;color:blue'> <o:p></o:p></span></font></p> > > </div> > > </div> > > </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. > <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_000_0045_01C9648D.88410A60-- -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Dec 23 10:38:38 2008
This archive was generated by hypermail 2.1.8 : Tue Dec 23 2008 - 10:39:51 PST