RE: [$ieee-1850] Draft D3 uploaded

Hi Surrendra,

>> I think the section on Local variables is a little weak in describing
what conditions can create errors or failures.

Do you have specific conditions that can create errors you would like to
add to the LRM?

>> There is an example to show the use of free, but it is not clear how to
exactly apply it and what its impact is on the local variable values on >>
merging parallel branches.
I agree there is no explicit explanation of the operator "free". We will
add the following text to explain the free operator: "The free operator
when applied to a local variable removes the variable
from the current scope". In the issues subcommittee we found the best way
to explain the use of the operator and its impact on parallel branches is
by examples. For this we added examples 6 and 7
in section 6.3.

Regards,
Sitvanit



Sitvanit Ruah
Formal Verification Group
IBM Haifa Research Laboratory
Tel:  972-4-828-1249



                                                                           
             Surrendra Dudani                                              
             <Surrendra.Dudani                                             
             @synopsys.com>                                             To 
                                       Sitvanit Ruah/Haifa/IBM@IBMIL,      
             28/07/2009 22:51          "ieee-1850@eda.org"                 
                                       <ieee-1850@eda.org>                 
                                                                        cc 
                                                                           
                                                                   Subject 
                                       RE: [$ieee-1850] Draft D3 uploaded  
                                                                           
                                                                           
                                                                           
                                                                           
                                                                           
                                                                           




Hi Sitvanit,
I reviewed the LRM and found. I think the section on Local variables is a
little weak in describing what conditions can create errors or failures.
There is an example to show the use of free, but it is not clear how to
exactly apply it and what its impact is on the local variable values on
merging parallel branches. Other than that section, it looks ok.
Surrendra

-----Original Message-----
From: owner-ieee-1850@eda.org [mailto:owner-ieee-1850@eda.org] On Behalf Of
Sitvanit Ruah
Sent: Sunday, July 26, 2009 1:50 AM
To: ieee-1850@eda.org
Subject: [$ieee-1850] Draft D3 uploaded



Hi all,
Draft D3 was uploaded to
http://www.eda-stds.org/ieee-1850/docs/P1850-D3-2009.pdf
(same password).

The draft incorporates comments received from Dana and Lyes and several
additional small editorial changes.

Regards,
Sitvanit

Sitvanit Ruah
Formal Verification Group
IBM Haifa Research Laboratory
Tel:  972-4-828-1249




--
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.