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.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.