Hi Doron: Match items should be allowed on sequences that are boolean abbreviations, but not on the arguments of the boolean boolean abbreviation. In 16.11, there are explicit examples of this. Things like the following should be allowed: (b[->1], l_v = expr) It is forms like the following that are illegal: (b, l_v = expr) [->1] J.H. > > Sorry for the noise, but reading 1326, I remember that we do not want to > allow match item on Boolean abbreviation. > > Still, the syntax looks over restricted to me. I think we should just > put a note saying that match item are not allowed on=20 > > Boolean abbreviation. This is not for the 2009 version, but I think we > need to keep record on that. > > =20 > > Doron > > =20 > > ________________________________ > > From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On > Behalf Of Bustan, Doron > Sent: Monday, October 27, 2008 5:43 AM > To: sv-ac@server.eda.org > Subject: [sv-ac] match item > > =20 > > All, > > =20 > > I am looking at 16.7 and there are some syntactic restrictions on the > use of match item that I do not understand. > > If I understand correctly there are only two syntax productions that > allow adding match items: > > =20 > > | ( sequence_expr {, sequence_match_item } ) [ sequence_abbrev ] > > | first_match ( sequence_expr {, sequence_match_item} ) > > =20 > > So, one cannot write "(a ##1 b, v =3D 1)" but can write "(a ##1 b, v =3D 1) > [*1]" which is semantically equivalent. > > =20 > > As far as I understand, we can always use the [*1] to do add the match > item, so there is no semantic meaning to the syntactic restrictions.=20 > > =20 > > Does anyone remember a reason for that? Or is it something we > overlooked? > > =20 > > Thanks > > =20 > > Doron > > --------------------------------------------------------------------- > 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_01C937E7.89FFE43E > 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:st1=3D"urn:schemas-microsoft-com:office:smarttags" xmlns=3D"http://ww= > w.w3.org/TR/REC-html40"> > > <head> > <META HTTP-EQUIV=3D"Content-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]--><o:SmartTagType > namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags" name=3D"countr= > y-region"/> > <o:SmartTagType namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags" > name=3D"place"/> > <!--[if !mso]> > <style> > st1\:*{behavior:url(#default#ieooui) } > </style> > <![endif]--> > <style> > <!-- > /* Font Definitions */ > @font-face > {font-family:Tahoma; > panose-1:2 11 6 4 3 5 4 4 2 4;} > /* 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";} > span.EmailStyle17 > {mso-style-type:personal; > font-family:Arial; > color:windowtext;} > span.EmailStyle19 > {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> > <!--[if gte mso 9]><xml> > <o:shapedefaults v:ext=3D"edit" spidmax=3D"1026" /> > </xml><![endif]--><!--[if gte mso 9]><xml> > <o:shapelayout v:ext=3D"edit"> > <o:idmap v:ext=3D"edit" data=3D"1" /> > </o:shapelayout></xml><![endif]--> > </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'>Sorry for the noise, but reading 1326,= > I > remember that we do not want to allow match item on Boolean abbreviation.<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'>Still, the syntax looks over restricte= > d to > me. I think we should just put a note saying that match item are not allowe= > d on > <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'>Boolean abbreviation. This is not for = > the > 2009 version, but I think we need to keep record on that.<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'>Doron<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 style=3D'border:none;border-left:solid blue 1.5pt;padding:0in 0in 0in = > 4.0pt'> > > <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>Bustan, Doron<br> > <b><span style=3D'font-weight:bold'>Sent:</span></b> Monday, October 27, 20= > 08 > 5:43 AM<br> > <b><span style=3D'font-weight:bold'>To:</span></b> sv-ac@server.eda.org<br> > <b><span style=3D'font-weight:bold'>Subject:</span></b> [sv-ac] match item<= > /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> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>All,<o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'><o:p> </o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>I am looking at 16.7 and there are some syntactic > restrictions on the use of match item that I do not understand.<o:p></o:p><= > /span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>If I understand correctly there are only two syntax > productions that allow adding match items:<o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'><o:p> </o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblack face=3D"Times New Roman">= > <span > style=3D'font-size:10.0pt;color:black'>| </span></font><b><font size=3D1 co= > lor=3Dred > face=3D"Courier New"><span style=3D'font-size:9.0pt;font-family:"Courier Ne= > w"; > color:red;font-weight:bold'>( </span></font></b><font size=3D2 color=3Dblac= > k><span > style=3D'font-size:10.0pt;color:black'>sequence_expr {</span></font><b><font > size=3D1 color=3Dred face=3D"Courier New"><span style=3D'font-size:9.0pt;fo= > nt-family: > "Courier New";color:red;font-weight:bold'>, </span></font></b><font size=3D2 > color=3Dblack><span style=3D'font-size:10.0pt;color:black'>sequence_match_i= > tem } </span></font><b><font > size=3D1 color=3Dred face=3D"Courier New"><span style=3D'font-size:9.0pt;fo= > nt-family: > "Courier New";color:red;font-weight:bold'>) </span></font></b><font size=3D2 > color=3Dblack><span style=3D'font-size:10.0pt;color:black'>[ sequence_abbre= > v ]<o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblack face=3D"Times New Roman">= > <span > style=3D'font-size:10.0pt;color:black'>| </span></font><b><font size=3D1 co= > lor=3Dred > face=3D"Courier New"><span style=3D'font-size:9.0pt;font-family:"Courier Ne= > w"; > color:red;font-weight:bold'>first_match ( </span></font></b><font size=3D2 > color=3Dblack><span style=3D'font-size:10.0pt;color:black'>sequence_expr {<= > /span></font><b><font > size=3D1 color=3Dred face=3D"Courier New"><span style=3D'font-size:9.0pt;fo= > nt-family: > "Courier New";color:red;font-weight:bold'>, </span></font></b><font size=3D2 > color=3Dblack><span style=3D'font-size:10.0pt;color:black'>sequence_match_i= > tem} </span></font><b><font > size=3D1 color=3Dred face=3D"Courier New"><span style=3D'font-size:9.0pt;fo= > nt-family: > "Courier New";color:red;font-weight:bold'>)<o:p></o:p></span></font></b></p> > > <p class=3DMsoNormal><b><font size=3D1 color=3Dred face=3D"Courier New"><sp= > an > style=3D'font-size:9.0pt;font-family:"Courier New";color:red;font-weight:bo= > ld'><o:p> </o:p></span></font></b></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>So, one cannot write “(a ##1 b, v =3D 1)” > but can write “(a ##1 b, v =3D 1) [*1]” which is semantic= > ally > equivalent.<o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'><o:p> </o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>As far as I understand, we can always use the [*1] to do= > add > the match item, so there is no semantic meaning to the syntactic restrictio= > ns. <o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'><o:p> </o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>Does anyone remember a reason for that? Or is it somethi= > ng > we overlooked?<o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'><o:p> </o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>Thanks<o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'><o:p> </o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>Doron<o:p></o:p></span></font></p> > > <pre><font size=3D2 face=3D"Courier New"><span style=3D'font-size:10.0pt'>-= > --------------------------------------------------------------------<o:p></= > o:p></span></font></pre><pre><font > size=3D2 face=3D"Courier New"><span style=3D'font-size:10.0pt'>Intel <st1:c= > ountry-region > w:st=3D"on"><st1:place w:st=3D"on">Israel</st1:place></st1:country-region> = > (74) Limited<o:p></o:p></span></font></pre><pre><font > size=3D2 face=3D"Courier New"><span style=3D'font-size:10.0pt'><o:p> <= > /o:p></span></font></pre><pre><font > size=3D2 face=3D"Courier New"><span style=3D'font-size:10.0pt'>This e-mail = > and any attachments may contain confidential material for<o:p></o:p></span>= > </font></pre><pre><font > 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<o:p></o:p></span>= > </font></pre><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<o:p></o:p></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.<o:p></o:p></span></font></p= > re></div> > > </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. > <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_01C937E7.89FFE43E-- > -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Oct 27 07:34:37 2008
This archive was generated by hypermail 2.1.8 : Mon Oct 27 2008 - 07:35:10 PDT