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

I have read the formal semantics part again and it looks fine to me. 
I did have an underline assumption that a local variable cannot be
declared more then once at the same sub property/ sub sequence.

Doron

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Friday, August 03, 2007 4:56 PM
To: sv-ac@server.eda-stds.org
Subject: [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.

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