RE: [sv-ac] part 1 of 1667

Hello John,

- I changed some font to bold for input, inout and output, it is marked
by change bars in the document.  I did it only in the case when it says
"direction <keyword>", not in the case when it says "<keyword> local
variable. Perhaps that should be changed too? Or my changes are
incorrect?

- changed the font of ended, matched and triggered to Courier.

- Flowing out of values to output and inout local variable args: Perhaps
it should be more clear on the following:
	- it is assigned to the actual argument variable at the match
point even though it was assigned locally before that.
	- If there are several threads that match simultaneously (parent
threads), they each create a separate thread in the instantiation
context carrying the value of the local variable assigned on the parent
thread.
(Or something of that sort.)

- With this enhancement, is it still legal to pass local variables using
the old style, untyped or typed? I guess yes, according to the example
in 16.9.


Best regards,
ed

PS I still have to look at part 2.


> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> Behalf Of John Havlicek
> Sent: Sunday, December 30, 2007 1:35 PM
> To: sv-ac@eda.org
> Subject: [sv-ac] part 1 of 1667
> 
> Hi Folks:
> 
> I'm not sure if the attachment was too big, so I 
> am sending this note without attachment.
> 
> I have uploaded part 1 (non-Annex-F) of the proposal
> for 1667 to Mantis.
> 
> I believe that Doron and Ed volunteered to review it.
> 
> I will now begin work on the Annex F changes.
> 
> 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.