Hi, The current phrase was picked up from assertion control task section 19.10. I guess that section has the same meaning. Manisha -----Original Message----- From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek Sent: Thursday, March 20, 2008 10:25 PM To: Eduard.Cerny@synopsys.com Cc: piper@cadence.com; Eduard.Cerny@synopsys.com; sv-ac@server.eda.org Subject: Re: [sv-ac] assertion action control tasks Hi Ed: Wherever this appears, I think it will be better to use the phrase "evaluation attempt" than "assertion execution". J.H. > X-eda.org-MailScanner-Watermark: 1206387749.82458@fFEAPXKgIZl67inb8WPHNw > X-Authentication-Warning: server.eda.org: majordom set sender to owner-sv-ac@eda.org using -f > X-eda.org-MailScanner-Watermark: 1206384023.12086@s4bMvD3+5wT8+vSgZ0/hgw > X-MimeOLE: Produced By Microsoft Exchange V6.5 > Content-class: urn:content-classes:message > Date: Mon, 17 Mar 2008 11:30:38 -0700 > Thread-Topic: [sv-ac] assertion action control tasks > Thread-Index: AciITRXhLbFWCdbmTte1jBVci8hHqgADuiDgAAA/oMA= > From: "Eduard Cerny" <Eduard.Cerny@synopsys.com> > X-OriginalArrivalTime: 17 Mar 2008 18:30:39.0539 (UTC) FILETIME=[001E7030:01C8885D] > 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-MailScanner-ID: m2HJgJFK010003 > X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org > > This is a multi-part message in MIME format. > > ------_=_NextPart_001_01C8885D.00037F9A > Content-Type: text/plain; > charset="us-ascii" > Content-Transfer-Encoding: quoted-printable > > Ok, thanks, > > ed > > =20 > > =20 > > From: Lisa Piper [mailto:piper@cadence.com]=20 > Sent: Monday, March 17, 2008 2:24 PM > To: Eduard Cerny; sv-ac@eda.org > Subject: RE: [sv-ac] assertion action control tasks > > =20 > > My interpretation has always been the current evaluation attempts that > are in progress. > > =20 > > lisa > > =20 > > ________________________________ > > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of > Eduard Cerny > Sent: Monday, March 17, 2008 12:37 PM > To: sv-ac@eda.org > Subject: [sv-ac] assertion action control tasks > > =20 > > Hi, > > =20 > > the proposal and Draft 4 state > > =20 > > An assertion that is already executing, including execution of the pass > or > > fail action, is not affected. > > =20 > > I am not sure how to interpret it. Does "executing" mean the current > evaluation attempts in flight or anything after the first leading clock > tick or after (implicit or explicit) asserton? > > =20 > > Thanks, > > ed > > =20 > > > --=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 > > > --=20 > This message has been scanned for viruses and > dangerous content by MailScanner, and is > believed to be clean. > > > ------_=_NextPart_001_01C8885D.00037F9A > 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:x=3D"urn:schemas-microsoft-com:office:excel" xmlns:p=3D"urn:schemas-m= > icrosoft-com:office:powerpoint" xmlns:a=3D"urn:schemas-microsoft-com:office= > :access" xmlns:dt=3D"uuid:C2F41010-65B3-11d1-A29F-00AA00C14882" xmlns:s=3D"= > uuid:BDC6E3F0-6DA3-11d1-A2A3-00AA00C14882" xmlns:rs=3D"urn:schemas-microsof= > t-com:rowset" xmlns:z=3D"#RowsetSchema" xmlns:b=3D"urn:schemas-microsoft-co= > m:office:publisher" xmlns:ss=3D"urn:schemas-microsoft-com:office:spreadshee= > t" xmlns:c=3D"urn:schemas-microsoft-com:office:component:spreadsheet" xmlns= > :oa=3D"urn:schemas-microsoft-com:office:activation" xmlns:html=3D"http://ww= > w.w3.org/TR/REC-html40" xmlns:q=3D"http://schemas.xmlsoap.org/soap/envelope= > /" xmlns:D=3D"DAV:" xmlns:x2=3D"http://schemas.microsoft.com/office/excel/2= > 003/xml" xmlns:ois=3D"http://schemas.microsoft.com/sharepoint/soap/ois/" xm= > lns:dir=3D"http://schemas.microsoft.com/sharepoint/soap/directory/" xmlns:d= > s=3D"http://www.w3.org/2000/09/xmldsig#" xmlns:dsp=3D"http://schemas.micros= > oft.com/sharepoint/dsp" xmlns:udc=3D"http://schemas.microsoft.com/data/udc"= > xmlns:xsd=3D"http://www.w3.org/2001/XMLSchema" xmlns:sub=3D"http://schemas= > .microsoft.com/sharepoint/soap/2002/1/alerts/" xmlns:ec=3D"http://www.w3.or= > g/2001/04/xmlenc#" xmlns:sp=3D"http://schemas.microsoft.com/sharepoint/" xm= > lns:sps=3D"http://schemas.microsoft.com/sharepoint/soap/" xmlns:xsi=3D"http= > ://www.w3.org/2001/XMLSchema-instance" xmlns:udcxf=3D"http://schemas.micros= > oft.com/data/udc/xmlfile" xmlns:wf=3D"http://schemas.microsoft.com/sharepoi= > nt/soap/workflow/" xmlns:mver=3D"http://schemas.openxmlformats.org/markup-c= > ompatibility/2006" xmlns:m=3D"http://schemas.microsoft.com/office/2004/12/o= > mml" xmlns:mrels=3D"http://schemas.openxmlformats.org/package/2006/relation= > ships" xmlns:ex12t=3D"http://schemas.microsoft.com/exchange/services/2006/t= > ypes" xmlns:ex12m=3D"http://schemas.microsoft.com/exchange/services/2006/me= > ssages" xmlns=3D"http://www.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 12 (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:"Cambria Math"; > panose-1:2 4 5 3 5 4 6 3 2 4;} > @font-face > {font-family:Calibri; > panose-1:2 15 5 2 2 2 4 3 2 4;} > @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:"Arial","sans-serif";} > a:link, span.MsoHyperlink > {mso-style-priority:99; > color:blue; > text-decoration:underline;} > a:visited, span.MsoHyperlinkFollowed > {mso-style-priority:99; > color:purple; > text-decoration:underline;} > span.EmailStyle17 > {mso-style-type:personal; > font-family:"Arial","sans-serif"; > color:windowtext;} > span.EmailStyle18 > {mso-style-type:personal; > font-family:"Arial","sans-serif"; > color:blue; > font-weight:normal; > font-style:normal; > text-decoration:none none;} > span.EmailStyle19 > {mso-style-type:personal-reply; > font-family:"Arial","sans-serif"; > color:navy;} > .MsoChpDefault > {mso-style-type:export-only; > font-size:10.0pt;} > @page Section1 > {size:8.5in 11.0in; > margin:1.0in 1.0in 1.0in 1.0in;} > 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><span style=3D'color:navy'>Ok, thanks,<o:p></o:p></spa= > n></p> > > <p class=3DMsoNormal><span style=3D'color:navy'>ed<o:p></o:p></span></p> > > <p class=3DMsoNormal><span style=3D'color:navy'><o:p> </o:p></span></p> > > <p class=3DMsoNormal><span style=3D'color:navy'><o:p> </o:p></span></p> > > <div> > > <div style=3D'border:none;border-top:solid #B5C4DF 1.0pt;padding:3.0pt 0in = > 0in 0in'> > > <p class=3DMsoNormal><b><span style=3D'font-size:10.0pt;font-family:"Tahoma= > ","sans-serif"'>From:</span></b><span > style=3D'font-size:10.0pt;font-family:"Tahoma","sans-serif"'> Lisa Piper > [mailto:piper@cadence.com] <br> > <b>Sent:</b> Monday, March 17, 2008 2:24 PM<br> > <b>To:</b> Eduard Cerny; sv-ac@eda.org<br> > <b>Subject:</b> RE: [sv-ac] assertion action control tasks<o:p></o:p></span= > ></p> > > </div> > > </div> > > <p class=3DMsoNormal><o:p> </o:p></p> > > <p class=3DMsoNormal><span style=3D'color:blue'>My interpretation has alway= > s been > the current evaluation attempts that are in progress.<o:p></o:p></span></p> > > <p class=3DMsoNormal><span style=3D'color:blue'><o:p> </o:p></span></p> > > <p class=3DMsoNormal><span style=3D'color:blue'>lisa<o:p></o:p></span></p> > > <p class=3DMsoNormal><span style=3D'color:blue'><o:p> </o:p></span></p> > > <div> > > <div class=3DMsoNormal align=3Dcenter style=3D'text-align:center'><span > style=3D'font-family:"Times New Roman","serif"'> > > <hr size=3D2 width=3D"100%" align=3Dcenter> > > </span></div> > > <p class=3DMsoNormal><b><span style=3D'font-size:10.0pt;font-family:"Tahoma= > ","sans-serif"'>From:</span></b><span > style=3D'font-size:10.0pt;font-family:"Tahoma","sans-serif"'> owner-sv-ac@e= > da.org > [mailto:owner-sv-ac@eda.org] <b>On Behalf Of </b>Eduard Cerny<br> > <b>Sent:</b> Monday, March 17, 2008 12:37 PM<br> > <b>To:</b> sv-ac@eda.org<br> > <b>Subject:</b> [sv-ac] assertion action control tasks</span><span > style=3D'font-family:"Times New Roman","serif"'><o:p></o:p></span></p> > > </div> > > <p class=3DMsoNormal><o:p> </o:p></p> > > <p class=3DMsoNormal>Hi,<o:p></o:p></p> > > <p class=3DMsoNormal><o:p> </o:p></p> > > <p class=3DMsoNormal>the proposal and Draft 4 state<o:p></o:p></p> > > <p class=3DMsoNormal><o:p> </o:p></p> > > <p class=3DMsoNormal>An assertion that is already executing, including exec= > ution > of the pass or<o:p></o:p></p> > > <p class=3DMsoNormal>fail action, is not affected.<o:p></o:p></p> > > <p class=3DMsoNormal><o:p> </o:p></p> > > <p class=3DMsoNormal>I am not sure how to interpret it. Does “executi= > ng” mean the > current evaluation attempts in flight or anything after the first leading c= > lock > tick or after (implicit or explicit) asserton?<o:p></o:p></p> > > <p class=3DMsoNormal><o:p> </o:p></p> > > <p class=3DMsoNormal>Thanks,<o:p></o:p></p> > > <p class=3DMsoNormal>ed<o:p></o:p></p> > > <p class=3DMsoNormal><o:p> </o:p></p> > > <p class=3DMsoNormal><span style=3D'font-family:"Times New Roman","serif"'>= > <br> > -- <br> > This message has been scanned for viruses and <br> > dangerous content by <a href=3D"http://www.mailscanner.info/"><b>MailScanne= > r</b></a>, > and is <br> > believed to be clean. <o:p></o:p></span></p> > > </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_01C8885D.00037F9A-- -- This message has been scanned for viruses and dangerous content by 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.Received on Sun Mar 23 23:14:46 2008
This archive was generated by hypermail 2.1.8 : Sun Mar 23 2008 - 23:15:45 PDT