Hi Lisa & All: In Draft 3, the syntax for event_control is event_control ::= @ hierarchical_event_identifier | @ ( event_expression ) | @* | @ (*) | @ ps_sequence_identifier Notice that "@ sequence_instance" is no longer allowed (Mantis 1532). I think that the ambiguity being discussed is resolved by this change. If the "@" is not followed by a parenthesis, then it must be followed either by an identifier or by "*". J.H. > X-Authentication-Warning: server.eda-stds.org: majordom set sender to owner-sv-ac@eda.org using -f > X-MimeOLE: Produced By Microsoft Exchange V6.5 > Content-class: urn:content-classes:message > Date: Wed, 23 May 2007 11:42:17 -0400 > X-MS-Has-Attach: > X-MS-TNEF-Correlator: > Thread-Topic: 1730 question > Thread-Index: AcecoqHvtDLRfkvVTXmx1HU0BDGmDwAAOKfQACs3NDA= > From: "Lisa Piper" <piper@cadence.com> > Cc: <sv-ac@eda.org> > X-Received: By mx-sanjose2.Cadence.COM as l4NFfN8E008634 at Wed May 23 08:41:23 2007 > X-eda.org-MailScanner: Found to be clean, Found to be clean > 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 > X-OriginalArrivalTime: 23 May 2007 15:43:40.0914 (UTC) FILETIME=[230A5520:01C79D51] > > This is a multi-part message in MIME format. > > ------_=_NextPart_001_01C79D50.F2299526 > Content-Type: text/plain; > charset="us-ascii" > Content-Transfer-Encoding: quoted-printable > > The syntactic ambiguity (between a sequence instance and a nested > sequence expr) is resolvable once we know what the 'clk1' symbol means, > although that requires deferring the check until later in the parser.=20 > > It would be better if the ambiguity could be removed at the syntax level > (rather than requiring some semantic analysis), e.g. by requiring parens > around clk: '@(clk1)'. Unfortunately, this requirement would be unique > to passing it as an argument.=20 > > =20 > > Lisa > > =20 > > ________________________________ > > From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com]=20 > Sent: Tuesday, May 22, 2007 3:03 PM > To: Lisa Piper; Eduard Cerny > Cc: sv-ac@eda.org > Subject: RE: 1730 question > > =20 > > Hi Lisa, > > =20 > > I suppose you mean that @clk1 is used as event control in procedural > clock, for example? I suppose that since all identifiers must be unique, > it is possible to determine that clk1 is not a sequence, but a variable > (or the other way round). If it is a variable, then it is an error, if > clk1 is a sequence then it is OK if it has the right formal arg. > > Would that work? > > =20 > > Best... > > ed > > =09=20 > > =09 > ________________________________ > > > From: Lisa Piper [mailto:piper@cadence.com]=20 > Sent: Tuesday, May 22, 2007 2:55 PM > To: Eduard Cerny > Cc: sv-ac@eda.org > Subject: 1730 question > > Hi Ed, > > What happens if I have: > > @clk1(@clk2 c + d) > > How do I know if clk1 is a sequence with an argument that is a > sequence expr or a clock? I am wondering if we are going to have a > problem now that we allow sequence and property expressions as arguments > due to the @ sign that is used to pass clocks. > > Lisa > > > --=20 > This message has been scanned for viruses and > dangerous content by MailScanner, and is > believed to be clean. > > > ------_=_NextPart_001_01C79D50.F2299526 > 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]--> > <title>1730 question</title> > <style> > <!-- > /* Font Definitions */ > @font-face > {font-family:Wingdings; > panose-1:5 0 0 0 0 0 0 0 0 0;} > @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;} > 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.EmailStyle18 > {mso-style-type:personal-reply; > font-family:Arial; > color:blue; > font-weight:normal; > font-style:normal; > text-decoration:none none;} > @page Section1 > {size:8.5in 11.0in; > margin:1.0in 1.25in 1.0in 1.25in;} > div.Section1 > {page:Section1;} > /* List Definitions */ > @list l0 > {mso-list-id:1824858962; > mso-list-template-ids:1506559754;} > @list l0:level1 > {mso-level-number-format:bullet; > mso-level-text:\F0B7; > mso-level-tab-stop:.5in; > mso-level-number-position:left; > text-indent:-.25in; > mso-ansi-font-size:10.0pt; > font-family:Symbol;} > @list l0:level2 > {mso-level-number-format:bullet; > mso-level-text:o; > mso-level-tab-stop:1.0in; > mso-level-number-position:left; > text-indent:-.25in; > mso-ansi-font-size:10.0pt; > font-family:"Courier New"; > mso-bidi-font-family:"Times New Roman";} > ol > {margin-bottom:0in;} > ul > {margin-bottom:0in;} > --> > </style> > > </head> > > <body lang=3DEN-US link=3Dblue vlink=3Dpurple> > > <div class=3DSection1> > > <p class=3DMsoNormal style=3D'text-autospace:none'><font size=3D3 face=3D"C= > ourier New"><span > style=3D'font-size:12.0pt;font-family:"Courier New"'>The syntactic ambiguity > (between a sequence instance and a nested sequence expr) is resolvable once= > we > know what the 'clk1' symbol means, although that requires deferring the che= > ck > until later in the parser. <o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D3 face=3D"Courier New"><span style=3D'fon= > t-size:12.0pt; > font-family:"Courier New"'>It would be better if the ambiguity could be rem= > oved > at the syntax level (rather than requiring some semantic analysis), e.g. by > requiring parens around clk: '@(clk1)'. Unfortunately, this requireme= > nt > would be unique to passing it as an argument. <o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D3 face=3D"Courier New"><span style=3D'fon= > t-size:12.0pt; > font-family:"Courier New"'><o:p> </o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D3 face=3D"Courier New"><span style=3D'fon= > t-size:12.0pt; > font-family:"Courier New"'>Lisa</span></font><font color=3Dblue face=3DAria= > l><span > style=3D'font-family:Arial;color:blue'><o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D3 color=3Dblue face=3DArial><span style= > =3D'font-size: > 12.0pt;font-family:Arial;color:blue'><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><font size=3D2 > face=3DTahoma><span style=3D'font-size:10.0pt;font-family:Tahoma'> Eduard C= > erny > [mailto:Eduard.Cerny@synopsys.com] <br> > <b><span style=3D'font-weight:bold'>Sent:</span></b> Tuesday, May 22, 2007 = > 3:03 > PM<br> > <b><span style=3D'font-weight:bold'>To:</span></b> Lisa Piper; Eduard Cerny= > <br> > <b><span style=3D'font-weight:bold'>Cc:</span></b> sv-ac@eda.org<br> > <b><span style=3D'font-weight:bold'>Subject:</span></b> RE: 1730 question</= > 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=3D4 color=3Dblue face=3D"Courier New"><span > style=3D'font-size:13.5pt;font-family:"Courier New";color:blue'>Hi Lisa,</s= > pan></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=3D4 color=3Dblue face=3D"Courier New"><span > style=3D'font-size:13.5pt;font-family:"Courier New";color:blue'>I suppose y= > ou > mean that @clk1 is used as event control in procedural clock, for example? I > suppose that since all identifiers must be unique, it is possible to determ= > ine > that clk1 is not a sequence, but a variable (or the other way round). If it= > is > a variable, then it is an error, if clk1 is a sequence then it is OK if it = > has > the right formal arg.</span></font><o:p></o:p></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D4 color=3Dblue face=3D"Courier New"><span > style=3D'font-size:13.5pt;font-family:"Courier New";color:blue'>Would that = > work?</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=3D4 color=3Dblue face=3D"Courier New"><span > style=3D'font-size:13.5pt;font-family:"Courier New";color:blue'>Best...</sp= > an></font><o:p></o:p></p> > > </div> > > <div> > > <p class=3DMsoNormal><font size=3D4 color=3Dblue face=3D"Courier New"><span > style=3D'font-size:13.5pt;font-family:"Courier New";color:blue'>ed</span></= > font><o:p></o:p></p> > > </div> > > <blockquote style=3D'border:none;border-left:solid blue 1.5pt;padding:0in 0= > in 0in 4.0pt; > margin-left:3.75pt;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'><o:p> </o:p></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:</span>= > </font></b><font > size=3D2 face=3DTahoma><span style=3D'font-size:10.0pt;font-family:Tahoma'>= > Lisa > Piper [mailto:piper@cadence.com] <br> > <b><span style=3D'font-weight:bold'>Sent:</span></b> Tuesday, May 22, 2007 = > 2:55 > PM<br> > <b><span style=3D'font-weight:bold'>To:</span></b> Eduard Cerny<br> > <b><span style=3D'font-weight:bold'>Cc:</span></b> sv-ac@eda.org<br> > <b><span style=3D'font-weight:bold'>Subject:</span></b> 1730 question</span= > ></font><o:p></o:p></p> > > <p><font size=3D3 face=3DArial><span style=3D'font-size:12.0pt;font-family:= > Arial'><!-- Converted from text/rtf format -->Hi > Ed,</span></font><o:p></o:p></p> > > <p><font size=3D3 face=3DArial><span style=3D'font-size:12.0pt;font-family:= > Arial'>What > happens if I have:</span></font><o:p></o:p></p> > > <p style=3D'margin-left:1.0in'><font size=3D3 face=3DArial><span style=3D'f= > ont-size: > 12.0pt;font-family:Arial'>@clk1(@clk2</span></font> <font face=3DAria= > l><span > style=3D'font-family:Arial'>c + d)</span></font><o:p></o:p></p> > > <p><font size=3D3 face=3DArial><span style=3D'font-size:12.0pt;font-family:= > Arial'>How > do I know if clk1 is a sequence with an argument that is a sequence e= > xpr > or a clock? I am wondering if we are going to have a problem now that= > we > allow sequence and property expressions as arguments due to the @ sign that= > is > used to pass clocks.</span></font><o:p></o:p></p> > > <p><font size=3D3 face=3DArial><span style=3D'font-size:12.0pt;font-family:= > Arial'>Lisa</span></font><o:p></o:p></p> > > </blockquote> > > </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. > </html> > > ------_=_NextPart_001_01C79D50.F2299526-- -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Fri May 25 10:18:17 2007
This archive was generated by hypermail 2.1.8 : Fri May 25 2007 - 10:18:45 PDT