[sv-ac] 1549: action item on local var declarations

Hi Folks:

I had an action item to think about whether adding the 
syntax (t v; r) for local variable declarations breaks
anything in the formal semantics, e.g. the functions
"sample", "block", and "flow".

I am happy to say that I think it does not.  I think that,
once one gets the definitions right, all the theory extends 
mellifluously to this construct.

I updated the old Accellera Technical Report from 2004
that recorded the theory and uploaded it to Mantis 1549.

It is also attached below. 

I will appreciate any comments on this.  I hope that the
people who have been paying close attention to Annex F
will have a look.

Best regards,

John H.


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