RE: [sv-ac] IEEE 1800 SV-AC meeting on 09/26/2006 - reminder

From: Eduard Cerny <Eduard.Cerny_at_.....>
Date: Mon Sep 25 2006 - 11:32:39 PDT
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