RE: [sv-ac] call to vote on Mantis 1668

I vote yes on 1668 with one friendly amendment:

"Declaration assignments shall be performed in the Observed region in
the order that they appear in the sequence or property declaration."

I will leave it up to you whether to change the colors, but it would be
a shame if it were delayed because the champions reviewed it on a laptop
and rejected it for the same reason. 

Lisa

-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com] 
Sent: Thursday, September 20, 2007 6:45 PM
To: Lisa Piper
Cc: john.havlicek@freescale.com
Subject: Re: [sv-ac] call to vote on Mantis 1668

Hi Lisa:

> [Lisa Piper >>>] yes, but for example F.2.1 CHANGE is marked
consistent
> with 1549 and the changes are all blue - no purple.  I would keep all
of
> 1668 in blue and use the purple for 1549. =20

O.k., this is an inadequacy of the color rendering.  If you look
carefully, you should be able to see that the "[ = e]" parts of all
these changes are in purple.  I find the distinction easy to see on 
my desktop monitor, but more challenging on my laptop.  I can look
for different color variants that show more contrast.

> [Lisa Piper >>>] I guess I was looking for what region of the timestep
> things happen in. It sounds like everything happens in the observed
> region in the order specified in the formal section. I was concerned
> about races. But I guess the assignment declaration is like a blocking
> statement. No change is requested.  Thanks.

Yes, the assignments happen in the observed region.  We could add an
example to illustrate this ordering in Clause 16.  It is more work and
we have a tight schedule, but maybe it will help?

J.H.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.