RE: [sv-ac] Call to vote. Due July 19 : 2557 updated

I have uploaded a modified proposal that addresses Manisha's point, which I believe is valid. We will probably need to call a new vote or voice-vote at the next meeting. Here's how I ended up phrasing it:

An automatic variable may be used passed as a constant input (see 6.24) for a subroutine call from an assertion statement in procedural code (see 16.15.5 16.15.6.1). An automatic variable shall not be passed by reference or passed as a non-constant input to a subroutine call from an assertion statement in procedural code.

Note that I kept 'may' rather than 'shall' in the first sentence, since it is not required that an automatic variable exists or is needed as an input for every subroutine call. I also modified the second sentence to cover the case of passing a non-ref by value, which I think we still want to make illegal if it is not cast to a constant.

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Kulshrestha, Manisha
Sent: Thursday, July 15, 2010 3:29 AM
To: Korchemny, Dmitry; sv-ac@eda.org
Subject: RE: [sv-ac] Call to vote. Due July 19

SVDB 2557 ___Yes _ X __No
http://www.eda-stds.org/mantis/view.php?id=2557
http://www.eda-stds.org/mantis/file_download.php?file_id=4370&type=bug

The reason for voting 'no' for 2557 is that the new statement is not making it clear that automatic args can not be passed as ref or const refs either. One thing which is not clear from the current text is that is it user's responsibility to create const cast before passing an automatic variable or the tools automatically do it.I think the intention is to make it automatic:

An automatic variable shall be passed as a constant (see 6.24) input for a subroutine call from an assertion statement in procedural code (see 16.15.5 16.15.6.1). An automatic variable shall not be passed by reference (either ref or const ref; see 13.5.2) to a subroutine call from an assertion statement in procedural code.

SVDB 2839 __ X _Yes ___No

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

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

I would like this friendly amendment: Remove 'on the right hand side of assignments'. In case of increment and decrement operators, there is no right hand side.

These operators cannot may be applied only to local variables that appear

in sequence match items (see 16.10). This restriction prevents side effects affecting design

variables.

---------------------------------------------------------------------

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