RE: [sv-ac] Call to vote. Due June 21

Hi,
 
I have opened a new mantis 3117. The proposal for 3113 is fine as long
as description of rewriting algorithm is fixed.
 
Thanks.
Manisha

________________________________

From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]
Sent: Tuesday, June 15, 2010 1:08 PM
To: Kulshrestha, Manisha; sv-ac@eda.org
Subject: RE: [sv-ac] Call to vote. Due June 21

Hi Manisha,

Do you want to open this Mantis item? Do you think that 3113 proposal
needs to be changed provided the description of rewriting algorithm has
been fixed?

Thanks,

Dmitry

From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com]
Sent: Tuesday, June 15, 2010 10:24 AM
To: Korchemny, Dmitry; sv-ac@eda.org
Subject: RE: [sv-ac] Call to vote. Due June 21

Hi Dimitry,

Currently there are two parts of rewriting algorithm: flatten_property
and flatten_sequence. I think just saying that the rewriting algorithm
applies to let and checkers would not be clear enough (as there is no
mention of flatten_let or flatten_checker). We need to make it more
clear. Also we need to change the statements in that section. I think we
definitley need a mantis (or this one itself) to make it clear.

Thanks.

Manisha

________________________________

From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]
Sent: Tuesday, June 15, 2010 12:25 PM
To: Kulshrestha, Manisha; sv-ac@eda.org
Subject: RE: [sv-ac] Call to vote. Due June 21

Hi Manisha,

Note the following:

Let does refer to the rewriting algorithm.

11.13 Let construct

Page 240

2) Otherwise, the self-determined result type of the actual argument
shall be cast compatible (see

6.22.4) with the type of the formal argument. The actual argument shall
be cast to the type of the formal

argument before being substituted for a reference to the formal argument
in the rewriting algorithm

(see F.4.1).

As for the checker is concerned, we have the following description:

When a checker is instantiated, actual arguments are passed to the
checker. The mechanism for passing

arguments to a checker is similar to the mechanism for passing arguments
to a property (see 16.13),...

I would suggest to open a new mantis item to comment in F.4.1 that the
rewriting algorithm is also applicable to let and checkers.

What do you think?

Thanks,

Dmitry

From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com]
Sent: Tuesday, June 15, 2010 9:48 AM
To: Korchemny, Dmitry; sv-ac@eda.org
Subject: RE: [sv-ac] Call to vote. Due June 21

Hi,

I am voting no for 3113 as it mentions rewriting algorithm in the foot
notes for 'let' and 'checker' but rewriting algorithm is not applied to
these constructs. In the section for rewriting algorithm, it says:

F.4.1 Rewriting sequence and property instances

This subclause describes an algorithm for rewriting a sequence or
property that contains one or more

instances of named sequences or nonrecursive properties. The result of
the algorithm is one flattened

sequence or property without instances.

Manisha

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Korchemny, Dmitry
Sent: Tuesday, June 15, 2010 1:45 AM
To: sv-ac@eda.org
Subject: [sv-ac] Call to vote. Due June 21

-You have until 11.59 pm PDT, Monday, June 21, 2010 to respond
-An issue passes if there are zero NO votes and half of the eligible
 voters respond with a YES vote.
-If you vote NO on any issue, your vote must be accompanied by a reason.
 The issue will then be up for discussion during a future conference
call.
-Note: For some issues, the proposed action is captured in the bug note
       (resolve as duplicate, already addressed, etc.).
 
As of the June 8, 2010 meeting, the eligible voters are:
 
Laurence Bisht
Eduard Cerny
Ben Cohen
Surrendra Dudani
Dana Fisman
Tapan Kapoor
Scott Little
Manisha Kulshrestha
Anupam Prabhakar
Erik Seligman
Tom Thatcher
 
SVDB 3113 ___Yes ___No

http://www.eda-stds.org/mantis/view.php?id=3113

http://www.eda-stds.org/mantis/file_download.php?file_id=4321&type=bug

---------------------------------------------------------------------
Intel Israel (74) Limited
 
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is
believed to be clean. 
---------------------------------------------------------------------
Intel Israel (74) Limited
 
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
---------------------------------------------------------------------
Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.