[sv-ac] 1731

From: John Havlicek <john.havlicek_at_.....>
Date: Wed Mar 14 2007 - 12:57:00 PDT
Hi Ed:

I've looked at 1731 and I don't understand the intended
semantics when the clock of the sampled value function
is not the same as the clock determined from clock 
resolution.

I'm not saying we shouldn't have this relaxation, but 
I think we need to say more about what it means.  This
should cover the possibility that the two clocks become
simultaneous or identical, and we should check in the 
latter case whether there is a semantic discontinuity.

Should this proposal depend on a resolution to 1698?

J.H.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Mar 14 12:57:23 2007

This archive was generated by hypermail 2.1.8 : Wed Mar 14 2007 - 12:57:41 PDT