Hi Bassam, That's strange, I did edit it, but I guess it got mixed up because I did a resend and edit an older message.... Sorry about that. I copy sv-ac ed > -----Original Message----- > From: Bassam Tabbara [mailto:bassamt@synopsys.COM] > Sent: Monday, September 25, 2006 1:26 PM > To: Eduard Cerny > Subject: RE: [sv-ac] IEEE 1800 SV-AC meeting on 09/19/2006 - reminder > > Ed you mean 9/26 of course ... > > Thx. > -Bassam. > > -----Original Message----- > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of > Eduard Cerny > Sent: Monday, September 25, 2006 8:44 AM > To: sv-ac@eda.org > Cc: Eduard Cerny > Subject: [sv-ac] IEEE 1800 SV-AC meeting on 09/19/2006 - reminder > > 09/19/2006 at 9 am PT (12 pm ET, 5 pm GMT) > Domestic: 888-635-9997 > International: 763-315-6815 > Participant code: 2638198 > > 1) To discuss #1551/1550 from previous meeting minutes: > > #1551: The proposal as it exists now would break backward > compatibility. > Therefore, it is necessary to preserve the fully asynchronous behavior > of "disable iff" and yet provide means for handling the > sampled form as > well. > > A possible solution is to modify $sampled as proposed in #1550 (but > allow the clocked version as well), and then instead of changing the > behavior of "disable iff(bool_expr)" recommend using "disable > iff($sampled(bool_expr))" where $sampled is used w/o the > clock and thus > returns the value of bool_expr in the preponed region. To be discussed > with Dmitry at the next meeting. > > #1550: The proposal has to be modified to take into account backward > compatibility allowing to specify the sampling clock and align > terminology with the LRM, e.g., change "prepone time" to "preponed > region". To be discussed with Dmitry at the next meeting. > > AND > > 2) Continuation of presentation by Dmitry about SV enhancements in > #1530. > >Received on Mon Sep 25 11:32:49 2006
This archive was generated by hypermail 2.1.8 : Mon Sep 25 2006 - 11:33:04 PDT