RE: [sv-ac] 1550, 1698, and Annex E.4

Hi John,

I think it might be better to do so after 1550 and 1698 are done. It
also might be better to define $rose, $fell, $stable (and $changed) in
terms of $past, especially if the clock of the function does not agree
with the clock of the assertion. 

Also, as far as I can tell, Annex E does not consider sampled values, ir
rather it simply assumes that the i-th letter is the sampled value.
There is no formalization of $sampled. Should there be? The time base
would have to be extended to negative integers, no?

Bestest
ed
 

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> Behalf Of John Havlicek
> Sent: Tuesday, February 06, 2007 9:50 AM
> To: sv-ac@eda-stds.org
> Subject: [sv-ac] 1550, 1698, and Annex E.4
> 
> Ed, Dmitry:
> 
> We will need to think about how to update Annex E.4 
> when the dust settles from 1550 and 1698.
> 
> 1677 should also be represented in Annex E.4 for 
> consistency.
> 
> We can try to update Annex E.4 as a part of these
> proposals, or we can wait and do it separately.
> 
> In any case, Annex E.4 is not intended to describe
> the meaning of extended booleans outside of assertions.
> 
> J.H.
> 
> -- 
> 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.